-
1
-
-
0029724077
-
Rulebase: An Industry-Oriented Formal Verification Tool
-
I. Beer, S. Ben-David, C. Eisner, and A. Landver. Rulebase: An Industry-Oriented Formal Verification Tool. In 33rd Design Automation Conference, pages 655-660, 1996.
-
(1996)
33rd Design Automation Conference
, pp. 655-660
-
-
Beer, I.1
Ben-David, S.2
Eisner, C.3
Landver, A.4
-
2
-
-
84863884631
-
On-The-Fly Model Checking of RCTL Formulas
-
Springer-Verlag, June-July
-
I. Beer, S. Ben-David, and A. Landver. On-The-Fly Model Checking of RCTL Formulas. In Proc. of the 10th International Conference on Computer Aided Verification, LNCS 818, pages 184-194. Springer-Verlag, June-July 1998.
-
(1998)
Proc. of the 10th International Conference on Computer Aided Verification, LNCS 818
, pp. 184-194
-
-
Beer, I.1
Ben-David, S.2
Landver, A.3
-
4
-
-
0022769976
-
Graph-based algorithms for boolean function manipulation
-
R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35(8): 677-691, 1986.
-
(1986)
IEEE Transactions on Computers
, vol.C-35
, Issue.8
, pp. 677-691
-
-
Bryant, R.E.1
-
5
-
-
0003347456
-
Symbolic model checking with partitioned transition relations
-
A. Halaas and P. B. Denyer, editors, August, Winner of the SidneyMichaelson Best Paper Award
-
J. R. Burch, E. M. Clarke, and D. E. Long. Symbolic model checking with partitioned transition relations. In A. Halaas and P. B. Denyer, editors, Proceedings of the 1991 International Conference on Very Large Scale Integration, August 1991. Winner of the SidneyMichaelson Best Paper Award.
-
(1991)
Proceedings of the 1991 International Conference on Very Large Scale Integration
-
-
Burch, J.R.1
Clarke, E.M.2
Long, D.E.3
-
6
-
-
35048900689
-
Symbolic model checking: 1020 states and beyond
-
June
-
J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, and L. J. Hwang. Symbolic model checking: 1020 states and beyond. Information and Computation, 98(2): 142-170, June 1992.
-
(1992)
Information and Computation
, vol.98
, Issue.2
, pp. 142-170
-
-
Burch, J.R.1
Clarke, E.M.2
McMillan, K.L.3
Dill, D.L.4
Hwang, L.J.5
-
8
-
-
84937574694
-
Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking
-
E. Clarke, O. Grumberg, K. McMillan, and X. Zhao. Efficient Generation of Counterexamples and Witnesses in Symbolic Model Checking. In 32rd Design Automation Conference, pages 655-660, 1995.
-
(1995)
32rd Design Automation Conference
, pp. 655-660
-
-
Clarke, E.1
Grumberg, O.2
McMillan, K.3
Zhao, X.4
-
9
-
-
85029431680
-
Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams
-
R. Kurshan and E. M. Clarke, editors, Springer-Verlag, New Brunswick, NJ, June
-
Olivier Coudert, Jean C. Madre, and Christian Berthet. Verifying Temporal Properties of Sequential Machines Without Building their State Diagrams. In R. Kurshan and E. M. Clarke, editors, Workshop on Computer Aided Verification, DIMACS, LNCS 531, pages 23-32. Springer-Verlag, New Brunswick, NJ, June 1990.
-
(1990)
Workshop on Computer Aided Verification, DIMACS, LNCS 531
, pp. 23-32
-
-
Coudert, O.1
Madre, J.C.2
Berthet, C.3
-
10
-
-
0001107626
-
Memory efficient algorithms for the verification of temporal properties
-
C. Courcoubetis, M. Vardi, P. Wolper, and M. Yannakakis. Memory efficient algorithms for the verification of temporal properties. Formal Methods in System Design, 1: 275-288, 1992.
-
(1992)
Formal Methods in System Design
, vol.1
, pp. 275-288
-
-
Courcoubetis, C.1
Vardi, M.2
Wolper, P.3
Yannakakis, M.4
-
15
-
-
0031338901
-
Reachability Analysis Using Partitioned-ROBDDs
-
IEEE Computer Society Press, June
-
Adrian A. Narayan, Jain J. Jawahar Isles, Robert K. Brayton, and Alberto L. Sangiovanni-Vincentelli. Reachability Analysis Using Partitioned-ROBDDs. In Proceedings of the IEEE International Conference on Computer Aided Design, pages 388-393. IEEE Computer Society Press, June 1997.
-
(1997)
Proceedings of the IEEE International Conference on Computer Aided Design
, pp. 388-393
-
-
Narayan, A.A.1
Jawahar Isles, J.J.2
Brayton, R.K.3
Sangiovanni-Vincentelli, A.L.4
-
16
-
-
0030414240
-
Partitioned-ROBDDs
-
IEEE Computer Society Press, June
-
Adrian A. Narayan, Jain Jawahar, M. Fujita, and A. Sangiovanni-Vincentelli. Partitioned-ROBDDs. In Proceedings of the IEEE International Conference on Computer Aided Design, pages 547-554. IEEE Computer Society Press, June 1996.
-
(1996)
Proceedings of the IEEE International Conference on Computer Aided Design
, pp. 547-554
-
-
Narayan, A.A.1
Jawahar, J.2
Fujita, M.3
Sangiovanni-Vincentelli, A.4
|