Powerful Techniques for the Automatic Generation of Invariants (1996)


Download Links

by Saddek Bensalem , Hassen Saidi
Venue:In CAV
Citations:91 - 9 self

Active Bibliography

1 Automatic Verification of Parameterized Systems – Jiazhao (jessie Xu, Advisor Amir Pnueli - 2005
25 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
1 Formally verifying data and control with weak reachability invariants – Jeffrey Su, David L. Dill, Jens U. Skakkebæk - 1998
Liveness with (0, 1, ∞)-Counter Abstraction – Amir Pnueli, Jessie Xu, Lenore Zuck - 2002
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
27 InVeSt: A Tool for the Verification of Invariants – S. Bensalem, Y. Lakhnech, S. Owre - 1998
1 Verifying Liveness by Augmented Abstraction – Yonit Kesten, Amir Pnueli - 1999
1 PLTL Partitioned Model Checking for Reactive Systems under Fairness Assumptions – S. Chouali, J. Julli, P. -a. Masson, F. Bellegarde - 2006
15 Modular and Incremental Analysis of Concurrent Software Systems – Hassen Saïdi - 1999
28 Automatic Generation of State Invariants from Requirements Specifications – Ralph Jeffords, Constance Heitmeyer - 1998
1 Model Checking and Deduction for Infinite-State Systems – Henny B. Sipma, Tomás E. Uribe, Tom'as E. Uribe, Zohar Manna
91 Symbolic model checking with rich assertional languages – Y. Kesten, O. Maler, M. Marcus, A. Pnueli, E. Shahar - 1997
32 Control and Data Abstraction: The Cornerstones of Practical Formal Verification. – Yonit Kesten, Amir Pnueli - 2000
9 Predicate Abstraction and Refinement for Verifying Multi-Threaded Programs – Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko
103 Model Checking of Safety Properties – Orna Kupferman, Moshe Y. Vardi - 1999
2 Strategic Directions in Computing Research Concurrency Working Group Report – Rance Cleaveland, Scott A. Smolka (eds.) - 1996
14 Verification by augmented abstraction: The automata-theoretic view – Yonit Kesten, Amir Pnueli, Moshe Y. Vardi - 2001
Lfm2000: Fifth NASA Langley Formal Methods Workshop – C. Michael Holloway (editor), C. Michael Holloway - 2000
1 On the Order of Test Goals in Specification-Based Testing – Gordon Fraser, et al. - 2008