Author:
Gonnord Laure,Halbwachs Nicolas,Raymond Pascal
Subject
General Computer Science,Theoretical Computer Science
Reference22 articles.
1. J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, and J. Hwang. Symbolic model checking: 1020 states and beyond. In Fifth IEEE Symposium on Logic in Computer Science, Philadelphia, pages 428–439, June 1990
2. O. Bernholtz, M. Vardi, and P. Wolper. An automata-theoretic approach to branching-time model checking. In D. Dill, editor, 6th International Conference on Computer Aided Verification, CAV'94, Stanford, June 1994
3. Symbolic verification with periodic sets;Boigelot,1994
4. Verification of sequential machines using boolean functional vectors;Coudert,1989
5. P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In 4th ACM Symposium on Principles of Programming Languages, POPL'77, Los Angeles, January 1977