Work

Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

Year: 2018

Type: conference-paper

Abstract: The RV 2018 proceedings focus on runtime verification. The selected papers deal with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess correctness, reliability, and robustness.

Source: Lecture notes in computer science

DOI: 10.1007/978-3-030-03769-7

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Estimated APC paid: $5,392

OpenAlex ID: W4248340187

FWCI: 2.985

Cites: 6

Cited by: 24

Related to: 10