Tool-supported Program Abstraction for Finite-state Verification (2000)

by Matthew B. Dwyer , John Hatcliff , Roby Joehanes , Shawn Laubach , Corina S. Pasareanu , Robby , Hongjun Zheng , Willem Visser
Venue:In Proceedings of the 23rd International Conference on Software Engineering
Citations:63 - 6 self

Active Bibliography

47 Finding Feasible Counter-examples when Model Checking Abstracted Java Programs – Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser - 2001
5 Program Model Checking as a New Trend – Klaus Havelund, Willem Visser - 2000
88 Slicing Software for Model Construction – John Hatcliff, Matthew B. Dwyer, Hongjun Zheng - 1999
6 Refinement of LTL Formulas for Abstract Model Checking – María Del Mar Gallardo, Pedro Merino, Ernesto Pimentel - 2002
567 Bandera: Extracting Finite-state Models from Java Source Code – James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Hongjun Zheng - 2000
Counterexample Analysis for Automated Refinement of Data Abstracted State Machine Models – Vesa Ojala - 2008
Improving Compositional Verification through Environment Synthesis and Syntactic Model Reduction – Hong Peng - 2002
43 Automated environment generation for software model checking – Oksana Tkachuk, Matthew B. Dwyerdepartment Of Cis - 2003
42 Expressing Checkable Properties of Dynamic Systems: The Bandera Specification Language – James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby - 2001
8 Lightweight Reasoning About Program Correctness – Marsha Chechik, Wei Ding - 2000
Review of the state of the art (in Security and Dependability Monitoring and Recovery) – G. Spanoudakis, C. Kloukinas, T. Tsigritis, K. Androutsopoulos, C. Ballas, Domenico Presenza - 2006
24 Verifying temporal properties of reactive systems: A STeP tutorial – Nikolaj S. Bjørner, Anca Browne, Michael A. Colon, Bernd Finkbeiner, Zohar Manna, Henny B. Sipma, Tomas E. Uribe - 2000
50 Using the Bandera Tool Set to Model-check Properties of Concurrent Java Software – John Hatcliff, Matthew Dwyer - 2001
16 Combining Static Analysis and Model Checking for Software Analysis – Guillaume Brat, Willem Visser - 2001
11 Combinations of model checking and theorem proving – Tomás E. Uribe - 2000
39 An Overview of SAL – Saddek Bensalem, Vijay Ganesh, Yassine Lakhnech, Cesar Muñoz, Sam Owre, Harald Rueß, John Rushby, Vlad Rusu, Hassen Saïdi, N. Shankar, Eli Singerman, Ashish Tiwari - 2000
Lfm2000: Fifth NASA Langley Formal Methods Workshop – C. Michael Holloway (editor), C. Michael Holloway - 2000
462 Model Checking Programs – Willem Visser, Klaus Havelund, GUILLAUME BRAT, SEUNGJOON PARK, FLAVIO LERDA - 2003
3 Bandera Specification Language: A Specification Language for Software Model Checking – Robby - 2000