Symbolic model checking of real-time systems
暂无分享,去创建一个
[1] Thomas A. Henzinger,et al. Symbolic model checking for real-time systems , 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
[2] Rajeev Alur,et al. Model-Checking in Dense Real-time , 1993, Inf. Comput..
[3] Joseph Sifakis,et al. Specification and verification of concurrent systems in CESAR , 1982, Symposium on Programming.
[4] Thomas Kropf,et al. Using MTBDDs for discrete timed symbolic model checking , 1997, Proceedings European Design and Test Conference. ED & TC 97.
[5] Wang Yi,et al. UPPAAL in 1995 , 1996, TACAS.
[6] Joseph Sifakis,et al. Property preserving abstractions for the verification of concurrent systems , 1995, Formal Methods Syst. Des..
[7] Klaus Schneider,et al. A new approach to the specification and verification of real-time systems , 2001, Proceedings 13th Euromicro Conference on Real-Time Systems.
[8] E. Allen Emerson,et al. Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[9] Fabio Somenzi,et al. CUDD: CU Decision Diagram Package Release 2.2.0 , 1998 .
[10] Klaus Schneider,et al. Abstraction from counters: an application on real-time systems , 2000, DATE '00.
[11] Amir Pnueli,et al. Model-Checking and Abstraction to the Aid of Parameterized Systems , 2003, VMCAI.
[12] E. Clarke,et al. Real-time symbolic model checking for discrete time models , 1994 .
[13] Anna Philippou,et al. Tools and Algorithms for the Construction and Analysis of Systems , 2018, Lecture Notes in Computer Science.
[14] Stavros Tripakis,et al. The Tool KRONOS , 1996, Hybrid Systems.