-
1
-
-
84957091429
-
NuSMV: A new Symbolic Model Verifier
-
N. Halbwachs and D. Peled, editors, Proceedings of 11th Conference on Computer-Aided Verification (CAV'99), number 1633 Trento, Italy, July Springer
-
A. Cimatti, E.M. Clarke, F. Giunchiglia, and M. Roveri. NuSMV: a new Symbolic Model Verifier. In N. Halbwachs and D. Peled, editors, Proceedings of 11th Conference on Computer-Aided Verification (CAV'99), number 1633 in Lecture Notes in Computer Science, pages 495-499, Trento, Italy, July 1999. Springer.
-
(1999)
Lecture Notes in Computer Science
, pp. 495-499
-
-
Cimatti, A.1
Clarke, E.M.2
Giunchiglia, F.3
Roveri, M.4
-
2
-
-
0029238629
-
Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking
-
San Francisco, CA, USA
-
E.M. Clarke, O. Grumberg, K.L. McMillan, and X. Zhao. Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking. In Proceedings of 32nd Design Automation Conference (DAC 95), pages 427-432, San Francisco, CA, USA, 1995.
-
(1995)
Proceedings of 32nd Design Automation Conference (DAC 95)
, pp. 427-432
-
-
Clarke, E.M.1
Grumberg, O.2
McMillan, K.L.3
Zhao, X.4
-
4
-
-
0036048863
-
Tree-Like Counterexamples in Model Checking
-
Copenhagen, Denmark, July IEEE Computer Society
-
E.M. Clarke, Y. Lu, S. Jha, and H. Veith. Tree-Like Counterexamples in Model Checking. In Proceedings of the Seventeenth Annual IEEE Symposium on Logic in Computer Science (LICS'02), pages 19-29, Copenhagen, Denmark, July 2002. IEEE Computer Society.
-
(2002)
Proceedings of the Seventeenth Annual IEEE Symposium on Logic in Computer Science (LICS'02)
, pp. 19-29
-
-
Clarke, E.M.1
Lu, Y.2
Jha, S.3
Veith, H.4
-
6
-
-
0038687541
-
Model Exploration with Temporal Logic Query Checking
-
Charleston, South Carolina, November ACM Press
-
A. Gurfinkel, B. Devereux, and M. Chechik. "Model Exploration with Temporal Logic Query Checking". In Proceedings of SIGSOFT Conference on Foundations of Software Engineering (FSE'02), Charleston, South Carolina, November 2002. ACM Press.
-
(2002)
Proceedings of SIGSOFT Conference on Foundations of Software Engineering (FSE'02)
-
-
Gurfinkel, A.1
Devereux, B.2
Chechik, M.3
-
7
-
-
0037943777
-
-
Master's thesis, University of Toronto, Department of Computer Science, October
-
A. Gurfinkel. Multi-valued symbolic model-checking: Fairness, counter-examples, running time. Master's thesis, University of Toronto, Department of Computer Science, October 2002.
-
(2002)
Multi-valued Symbolic Model-checking: Fairness, Counter-examples, Running Time
-
-
Gurfinkel, A.1
-
8
-
-
0029323608
-
About the Expressive Power of CTL Combinators
-
F. Laroussinie. "About the Expressive Power of CTL Combinators". Information Processing Letters, 54:343-345, 1995.
-
(1995)
Information Processing Letters
, vol.54
, pp. 343-345
-
-
Laroussinie, F.1
-
10
-
-
84958739943
-
Certifying Model Checkers
-
Proceedings of 13th International Conference on Computer-Aided Verification (CAV'01), SpringerVerlag
-
K. Namjoshi. Certifying Model Checkers. In Proceedings of 13th International Conference on Computer-Aided Verification (CAV'01), volume 2102 of LNCS. SpringerVerlag, 2001.
-
(2001)
LNCS
, vol.2102
-
-
Namjoshi, K.1
-
11
-
-
0003652264
-
-
Technical report, Computer Science Lab, SRI International, Menlo Park, CA
-
S. Owre, N. Shankar, and J. Rushby. "User Guide for the PVS Specification and Verification System (Draft)". Technical report, Computer Science Lab, SRI International, Menlo Park, CA, 1993.
-
(1993)
User Guide for the PVS Specification and Verification System (Draft)
-
-
Owre, S.1
Shankar, N.2
Rushby, J.3
-
12
-
-
84944045904
-
From falsification to verification
-
FST&TCS, Springer-Verlag
-
D. Peled, A. Pnueli, and L. Zuck. From falsification to verification. In FST&TCS, volume 2245 of LNCS. Springer-Verlag, 2001.
-
(2001)
LNCS
, vol.2245
-
-
Peled, D.1
Pnueli, A.2
Zuck, L.3
-
13
-
-
84894622143
-
From model checking to a temporal proof
-
Proceedings of the 8th International SPIN Workshop (SPIN'2001), Toronto, Canada, May Springer
-
D. Peled and L. Zuck. From model checking to a temporal proof. In Proceedings of the 8th International SPIN Workshop (SPIN'2001), volume 2057 of LNCS, pages 1-14, Toronto, Canada, May 2001. Springer.
-
(2001)
LNCS
, vol.2057
, pp. 1-14
-
-
Peled, D.1
Zuck, L.2
-
15
-
-
84937540111
-
Evidence-Based Model Checking
-
Proceedings of 14th Conference on Computer-Aided Verification (CAV'02), Copenhagen, Denmark, July Springer-Verlag
-
L Tan and R. Cleaveland. Evidence-Based Model Checking. In Proceedings of 14th Conference on Computer-Aided Verification (CAV'02), volume 2404 of LNCS, pages 455-470, Copenhagen, Denmark, July 2002. Springer-Verlag.
-
(2002)
LNCS
, vol.2404
, pp. 455-470
-
-
Tan, L.1
Cleaveland, R.2
|