Mixed Transition Systems Revisited
暂无分享,去创建一个
[1] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[2] Radha Jagadeesan,et al. Three-valued abstractions of games: uncertainty, but with precision , 2004, LICS 2004.
[3] Kousha Etessami,et al. Analysis of Recursive Game Graphs Using Data Flow Equations , 2004, VMCAI.
[4] Marsha Chechik,et al. Thorough Checking Revisited , 2006, 2006 Formal Methods in Computer Aided Design.
[5] Orna Grumberg,et al. 3-Valued Abstraction: More Precision at Less Cost , 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
[6] Radha Jagadeesan,et al. On the Expressiveness of 3-Valued Models , 2002, VMCAI.
[7] Marsha Chechik,et al. Why Waste a Perfectly Good Abstraction? , 2006, TACAS.
[8] Robin Milner,et al. On Observing Nondeterminism and Concurrency , 1980, ICALP.
[9] Patrice Godefroid,et al. Model Checking Partial State Spaces with 3-Valued Temporal Logics , 1999, CAV.
[10] Marsha Chechik,et al. Systematic Construction of Abstractions for Model-Checking , 2006, VMCAI.
[11] Orna Grumberg,et al. Monotonic Abstraction-Refinement for CTL , 2004, TACAS.
[12] Dexter Kozen,et al. RESULTS ON THE PROPOSITIONAL’p-CALCULUS , 2001 .
[13] George J. Milne,et al. Correct Hardware Design and Verification Methods , 2003, Lecture Notes in Computer Science.
[14] Patrice Godefroid,et al. Generalized Model Checking: Reasoning about Partial State Spaces , 2000, CONCUR.
[15] Orna Grumberg,et al. Abstract interpretation of reactive systems , 1997, TOPL.
[16] Fabio Somenzi,et al. CUDD: CU Decision Diagram Package Release 2.2.0 , 1998 .
[17] Rajeev Alur,et al. A Temporal Logic of Nested Calls and Returns , 2004, TACAS.
[18] Radha Jagadeesan,et al. Modal Transition Systems: A Foundation for Three-Valued Program Analysis , 2001, ESOP.
[19] Thomas W. Reps,et al. Semantic minimization of 3-valued propositional formulae , 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
[20] Dexter Kozen,et al. Results on the Propositional µ-Calculus , 1982, ICALP.
[21] Marsha Chechik,et al. Multi-valued symbolic model-checking , 2003, TSEM.
[22] Kim G. Larsen,et al. A modal process logic , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.
[23] Marsha Chechik,et al. Yasm: A Software Model-Checker for Verification and Refutation , 2006, CAV.
[24] Marsha Chechik,et al. How Thorough Is Thorough Enough? , 2005, CHARME.
[25] Radha Jagadeesan,et al. Three-valued abstractions of games: uncertainty, but with precision , 2004, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004..
[26] Kousha Etessami,et al. Optimizing Büchi Automata , 2000, CONCUR.
[27] Patrick Cousot,et al. Abstract Interpretation Frameworks , 1992, J. Log. Comput..
[28] Kedar S. Namjoshi,et al. Automata as Abstractions , 2005, VMCAI.
[29] Michael Huth,et al. Model checking vs. generalized model checking: semantic minimizations for temporal logics , 2005, 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05).
[30] Kim G. Larsen. The Expressive Power of Implicit Specifications , 1993, Theor. Comput. Sci..
[31] Brian Campbell,et al. Amortised Memory Analysis Using the Depth of Data Structures , 2009, ESOP.