Formal Verification of Concurrent Programs Based on Type Theory (1998)

Cached

Download Links

by Shen-Wei Yu
Citations:3 - 0 self

Active Bibliography

2407 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
106 Design of Embedded Systems: Formal Models, Validation, and Synthesis – S. Edwards, L. Lavagno, E. A. Lee, A. Sangiovanni-Vincentelli - 1999
50 Implementation of Symbolic Model Checking for Probabilistic Systems – David Anthony Parker - 2002
14 Implementing a Model Checker for LEGO – Shenwei Yu, Zhaohui Luo - 1997
15 Techniques For Efficient Formal Verification Using Binary Decision Diagrams – Alan John Hu, David L. Dill, Vaughan R. Pratt - 1995
6 Interactive Verification Exploiting Program Design Knowledge: A Model-Checker for UNITY – Markus Kaltenbach - 1996
1 SYMBOLIC IMPLEMENTATION OF MODEL-CHECKING PROBABILISTIC TIMED AUTOMATA – Fuzhi Wang - 2006
6 Model Reduction of Discrete Real-Time Systems – Mark Stephen Lawford - 1997
56 A brief history of process algebra – J. C. M. Baeten - 2004
2 Strategic Directions in Computing Research Concurrency Working Group Report – Rance Cleaveland, Scott A. Smolka (eds.) - 1996
27 Efficient Verification of Sequential and Concurrent C Programs – Sagar Chaki, Edmund Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav - 2003
1 Implementing Certified Programming Language Tools Dependent Type Theory – Adam James Chlipala, Adam James Chlipala - 2007
13 Modal Logic: A Semantic Perspective – Patrick Blackburn, Johan van Benthem - 1988
118 Verification Tools for Finite-State Concurrent Systems – E. Clarke, O. Grumberg, D. Long
Abstraction Techniques for Verification of . . . – Constantin Enea - 2011
69 Formal Methods and the Certification of Critical Systems – John Rushby - 1993
74 Generalized Model Checking: Reasoning about Partial State Spaces – Glenn Bruns, Patrice Godefroid - 2000
96 Model Checking Partial State Spaces with 3-Valued Temporal Logics (Extended Abstract) – Glenn Bruns, Patrice Godefroid - 1999
44 A Constraint Oriented Proof Methodology Based on Modal Transition Systems – Kim G. Larsen, Bernhard Steffen, Carsten Weise - 1995