Model Checking for Timed Logic Processes
暂无分享,去创建一个
[1] C. R. Ramakrishnan,et al. Tabled resolution + constraints: a recipe for model checking real-time systems , 2000, Proceedings 21st IEEE Real-Time Systems Symposium.
[2] Laurent Fribourg,et al. Symbolic Verification with Gap-Order Constraints , 1996, LOPSTR.
[3] Howard Wong-Toi,et al. Automated Analysis of an Audio Control Protocol , 1995, CAV.
[4] Stavros Tripakis,et al. Model Checking of Real-Time Reachability Properties Using Abstractions , 1998, TACAS.
[5] Gabriel M. Kuper,et al. Constraint query languages (preliminary report) , 1990, PODS '90.
[6] Thomas Wilke,et al. Timed Alternating Tree Automata: The Automata-Theoretic Solution to the TCTL Model Checking Problem , 1999, ICALP.
[7] Thomas A. Henzinger,et al. Modularity for Timed and Hybrid Systems , 1997, CONCUR.
[8] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[9] Edward Y. Chang,et al. STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems , 1996, CAV.
[10] Enrico Pontelli,et al. A constraint-based approach for specification and verification of real-time systems , 1997, Proceedings Real-Time Systems Symposium.
[11] Scott A. Smolka,et al. Local Model Checking for Real-Time Systems (Extended Abstract) , 1995, CAV.
[12] Roland H. C. Yap,et al. The CLP( R ) language and system , 1992, TOPL.
[13] Luis Urbina,et al. Analysis of Hybrid Systems in CLP(R) , 1996, CP.
[14] Yehoshua Sagiv,et al. Inference of Inequality Constraints in Logic Programs. , 1991, PODS 1991.
[15] C. R. Ramakrishnan,et al. Efficient Model Checking Using Tabled Resolution , 1997, CAV.
[16] Gopal Gupta,et al. Horn Logic Denotations and Their Applications , 1999, The Logic Programming Paradigm.
[17] Laurent Vieille,et al. A Database-Complete Proof Procedure Based on SLD-Resolution , 1987, ICLP.
[18] David Scott Warren,et al. Tabled evaluation with delaying for general logic programs , 1996, JACM.
[19] Wang Yi,et al. UPPAAL in 1995 , 1996, TACAS.
[20] Yehoshua Sagiv,et al. Inference of inequality constraints in logic programs (extended abstracts) , 1991, PODS '91.
[21] C. R. Ramakrishnan,et al. Logic Programming and Model Checking , 1998, PLILP/ALP.
[22] Hisao Tamaki,et al. OLD Resolution with Tabulation , 1986, ICLP.
[23] Laurent Fribourg,et al. Concurrent Constraint Automata , 1993, ILPS.
[24] C. R. Ramakrishnan,et al. Verification of Parameterized Systems Using Logic Program Transformations , 2000, TACAS.
[25] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[26] Michael J. Maher,et al. Constraint Logic Programming: A Survey , 1994, J. Log. Program..
[27] Gabriel M. Kuper,et al. Constraint Query Languages , 1995, J. Comput. Syst. Sci..
[28] Peter Z. Revesz. A Closed Form for Datalog Queries with Integer Order , 1990, ICDT.