Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems
暂无分享,去创建一个
Henrik Reif Andersen | Kåre J. Kristoffersen | Christian Pedersen | Christian Pedersen | H. Andersen | K. Kristoffersen
[1] I. Sinha. Characteristic ideals in group algebras , 1974 .
[2] Grigore Rosu,et al. Monitoring programs using rewriting , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
[3] Henrik Reif Andersen,et al. Partial Model Checking (Extended Abstract) , 1995, LICS 1995.
[4] Pierre Wolper,et al. Simple on-the-fly automatic verification of linear temporal logic , 1995, PSTV.
[5] Thomas A. Henzinger,et al. It's About Time: Real-Time Logics Reviewed , 1998, CONCUR.
[6] A. Tarski. A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .
[7] Grigore Rosu,et al. Monitoring Java Programs with Java PathExplorer , 2001, RV@CAV.
[8] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[9] Wang Yi,et al. Compositional and symbolic model-checking of real-time systems , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.
[10] Dimitra Giannakopoulou,et al. Automata-based verification of temporal properties on running programs , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).