Synthesizing Monitors for Safety Properties
暂无分享,去创建一个
[1] Amir Pnueli,et al. The temporal logic of programs , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
[2] Zohar Manna,et al. The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.
[3] Natarajan Shankar,et al. Experiments in Theorem Proving and Model Checking for Protocol Verification , 1996, FME.
[4] M. Clavel,et al. Principles of Maude , 1996, WRLA.
[5] Jim Woodcock,et al. FME'96: Industrial Benefit and Advances in Formal Methods , 1996, Lecture Notes in Computer Science.
[6] Gerard J. Holzmann,et al. A practical method for verifying event-driven software , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).
[7] Claudio Demartini,et al. A deadlock detection tool for concurrent Java programs , 1999, Softw. Pract. Exp..
[8] Mahesh Viswanathan,et al. Runtime Assurance Based On Formal Specifications , 1999, PDPTA.
[9] James C. Corbett,et al. Bandera: extracting finite-state models from Java source code , 2000, ICSE.
[10] David L. Dill,et al. Java model checking , 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.
[11] Klaus Havelund,et al. Model checking JAVA programs using JAVA PathFinder , 2000, International Journal on Software Tools for Technology Transfer.
[12] Klaus Havelund,et al. Model checking programs , 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.
[13] Doron Drusinsky,et al. The Temporal Rover and the ATG Rover , 2000, SPIN.
[14] Klaus Havelund,et al. SPIN Model Checking and Software Verification , 2000, Lecture Notes in Computer Science.
[15] Grigore Rosu,et al. Monitoring Java Programs with Java PathExplorer , 2001, RV@CAV.
[16] MonitoringKlaus,et al. Spe i ation and Error Pattern Based Program , 2001 .
[17] Grigore Rosu,et al. Java PathExplorer: A Runtime Verification Tool , 2001 .
[18] Grigore Rosu,et al. Specification and Error Pattern Based Program Monitoring , 2001 .
[19] G. Rosu,et al. Synthesizing Dynamic Programming Algorithms fromLinear Temporal Logic Formulae , 2001 .
[20] G. Ro. Synthesizing Dynamic Programming Algorithms from Linear Temporal Logic Formulae , 2001 .
[21] Michael R. Lowry,et al. Formal Analysis of a Space-Craft Controller Using SPIN , 2001, IEEE Trans. Software Eng..
[22] Grigore Rosu,et al. Monitoring programs using rewriting , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
[23] Scott D. Stoller,et al. Model-checking multi-threaded distributed Java programs , 2000, International Journal on Software Tools for Technology Transfer.