What can you verify and enforce at runtime?
Top Cited Papers
- 21 April 2011
- journal article
- Published by Springer Science and Business Media LLC in International Journal on Software Tools for Technology Transfer
- Vol. 14 (3), 349-382
- https://doi.org/10.1007/s10009-011-0196-8
Abstract
No abstract availableKeywords
This publication has 27 references indexed in Scilit:
- Comparing LTL Semantics for Runtime VerificationJournal of Logic and Computation, 2009
- Rule Systems for Run-time Monitoring: from EAGLE to RULERJournal of Logic and Computation, 2008
- MopPublished by Association for Computing Machinery (ACM) ,2007
- Efficient Monitoring of ω-LanguagesLecture Notes in Computer Science, 2005
- Formal methodsACM Computing Surveys, 1996
- The Safety-Progress ClassificationPublished by Springer Science and Business Media LLC ,1993
- Abstract interpretation and application to logic programsThe Journal of Logic Programming, 1992
- Characterization of temporal property classesLecture Notes in Computer Science, 1992
- Defining livenessInformation Processing Letters, 1985
- Characterizing correctness properties of parallel programs using fixpointsLecture Notes in Computer Science, 1980