A methodology for proving control programs with Lustre and PVS, Dependable Computing for Critical Applications, p.7, 1999. ,
Symbolic model checking: 10 20 states and beyond, Fifth IEEE Symposium on Logic in Computer Science, 1990. ,
Checking temporal properties of software with boolean programs, Workshop on Advances in Verification, 2000. ,
Counterexample-guided abstraction refinement, Computer- Aided Verification, number 1855 in Lecture Notes in Computer Science, 2000. ,
DOI : 10.1007/10722167_15
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.407
Model checking and abstraction, ACM TOPLAS, vol.16, issue.5, 1994. ,
Verifying temporal properties of sequential machines without building their state diagrams, International Workshop on Computer Aided Verification, Rutgers (N.J.), 1990. ,
DOI : 10.1007/BFb0023716
Finding feasible counter-examples when model checking Java programs, Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 2031 of Lecture Notes in Computer Science, 2001. ,
A tool for symbolic program verification and abstraction, Fifth Conference on Computer-Aided Verification , CAV'93, Elounda (Greece), 1993. ,
DOI : 10.1007/3-540-56922-7_7
The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 1991. ,
DOI : 10.1109/5.97300
Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE, IEEE Transactions on Software Engineering, vol.18, issue.9, 1992. ,
DOI : 10.1109/32.159839
Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing, ASIAN'99, Asian Computing Science Conference, 1999. ,
DOI : 10.1007/3-540-46674-6_1
Incremental Verification by Abstraction, Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Lecture Notes in Computer Science, 2001. ,
DOI : 10.1007/3-540-45319-9_8
Automatic testing of reactive systems, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279), 1998. ,
DOI : 10.1109/REAL.1998.739746