Sliding between model checking and runtime verification
| Title | Sliding between model checking and runtime verification |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Leucker, M |
| Conference Name | Proceedings of the 3rd International Conference on Runtime Verification |
| Series | Lecture Notes in Computer Science |
| Publisher | Springer |
| Abstract | We present a unified semantics for linear temporal logic cap- turing model checking and runtime verification. Moreover, we present the main ingredients of a corresponding monitor synthesis procedure. |
| Refereed Designation | Refereed |
Bibtex:
@inproceedings {806,
title = {Sliding between model checking and runtime verification},
booktitle = {Proceedings of the 3rd International Conference on Runtime Verification},
series = {Lecture Notes in Computer Science},
year = {2012},
publisher = {Springer},
organization = {Springer},
abstract = {We present a unified semantics for linear temporal logic cap- turing model checking and runtime verification. Moreover, we present the main ingredients of a corresponding monitor synthesis procedure.},
author = {Martin Leucker}
}PDF:
