-
1
-
-
0036047098
-
A proof engine approach to solving combinational design automation problems
-
ACM Press
-
Gunnar Andersson, Per Bjesse, Byron Cook, and Ziyad Hanna. A proof engine approach to solving combinational design automation problems. In Proceedings of the 39th conference on Design automation, pages 725-730. ACM Press, 2002.
-
(2002)
Proceedings of the 39th conference on Design automation
, pp. 725-730
-
-
Andersson, G.1
Bjesse, P.2
Cook, B.3
Hanna, Z.4
-
2
-
-
84948948420
-
A SAT based approach for solving formulas over boolean and linear mathematical propositions
-
Springer-Verlag
-
Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz, and Roberto Sebastiani. A SAT based approach for solving formulas over boolean and linear mathematical propositions. In Proceedings of the 18th International Conference on Automated Deduction, pages 195-210. Springer-Verlag, 2002.
-
(2002)
Proceedings of the 18th International Conference on Automated Deduction
, pp. 195-210
-
-
Audemard, G.1
Bertoli, P.2
Cimatti, A.3
Kornilowicz, A.4
Sebastiani, R.5
-
6
-
-
0022769976
-
Graph-based algorithms for boolean function manipulation
-
Aug
-
R.E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Trans. on Computers, C-35(8):677-691, Aug. 1986.
-
(1986)
IEEE Trans. on Computers
, vol.C-35
, Issue.8
, pp. 677-691
-
-
Bryant, R.E.1
-
7
-
-
85022163068
-
Lustre: A declarative language for programming synchronous systems
-
January
-
P. Caspi, D. Pilaud, N. Halbwachs, and J.Plaice. Lustre: a declarative language for programming synchronous systems. In 14th ACM Symposium on Principles of Programming Languages, Munchen, January 1987.
-
(1987)
14th ACM Symposium on Principles of Programming Languages, Munchen
-
-
Caspi, P.1
Pilaud, D.2
Halbwachs, N.3
Plaice, J.4
-
8
-
-
84937557946
-
NuSMV2: An opensource tool for symbolic model checking
-
Ed Brinksma and Kim Guldstrand Larsen, editors, Computer Aided Verification, of, Springer-Verlag, July 27-31
-
Alessandro Cimatti et al. NuSMV2: an opensource tool for symbolic model checking. In Ed Brinksma and Kim Guldstrand Larsen, editors, Computer Aided Verification, volume 2404 of Lecture Notes in Computer Science, pages 359-364. Springer-Verlag, July 27-31 2002.
-
(2002)
Lecture Notes in Computer Science
, vol.2404
, pp. 359-364
-
-
Cimatti, A.1
-
9
-
-
0035393978
-
Bounded model checking using satisfiability solving
-
Edmund M. Clarke, Armin Biere, Richard Raimi, and Yunshan Zhu. Bounded model checking using satisfiability solving. Formal Methods in System Design, 19(1):7-34, 2001.
-
(2001)
Formal Methods in System Design
, vol.19
, Issue.1
, pp. 7-34
-
-
Clarke, E.M.1
Biere, A.2
Raimi, R.3
Zhu, Y.4
-
10
-
-
0022706656
-
Automatic verification of finite-state concurrent systems using temporal logic specification
-
April
-
E.M. Clarke, E.A. Emerson, and A.P. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specification. ACM Trans. on Programming Languages and Systems, 8(2):244-263, April 1986.
-
(1986)
ACM Trans. on Programming Languages and Systems
, vol.8
, Issue.2
, pp. 244-263
-
-
Clarke, E.M.1
Emerson, E.A.2
Sistla, A.P.3
-
11
-
-
84919401135
-
A machine program for theorem-proving
-
Martin Davis, George Logemann, and Donald Loveland. A machine program for theorem-proving. Commun. ACM, 5(7):394-397, 1962.
-
(1962)
Commun. ACM
, vol.5
, Issue.7
, pp. 394-397
-
-
Davis, M.1
Logemann, G.2
Loveland, D.3
-
12
-
-
0031276402
-
Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia
-
Yves Dutuit and Antoine Rauzy. Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia. Reliability Engineering and System Safety, 1997.
-
(1997)
Reliability Engineering and System Safety
-
-
Dutuit, Y.1
Rauzy, A.2
-
13
-
-
33645490273
-
Gerald Point, Antoine Rauzy, Jean Pierre Signoret, and Philippe Thomas. The AltaRica language
-
Balkema Publishers, June 20-24
-
Alain Griffault, Sylvain Lajeunesse, Gerald Point, Antoine Rauzy, Jean Pierre Signoret, and Philippe Thomas. The AltaRica language. In Proceedings of the International Conference on Safety and Reliability, ESREL '98. Balkema Publishers, June 20-24 1998.
-
(1998)
Proceedings of the International Conference on Safety and Reliability, ESREL '98
-
-
Griffault, A.1
Lajeunesse, S.2
-
20
-
-
84948975180
-
A tutorial on Stålmarck's proof procedure for propositional logic
-
G. Gopalakrishnan and P. Windley, editors, Palo Alto, CA, USA, 4-6 Nov, Berlin, Springer-Verlag
-
Mary Sheeran and Gunnar Stålmarck. A tutorial on Stålmarck's proof procedure for propositional logic. In G. Gopalakrishnan and P. Windley, editors, Proceedings 2nd Intl. Conf. on Formal Methods in Computer-Aided Design, FMCAD'98, Palo Alto, CA, USA, 4-6 Nov 1998, volume 1522, pages 82-99, Berlin, 1998. Springer-Verlag.
-
(1998)
Proceedings 2nd Intl. Conf. on Formal Methods in Computer-Aided Design, FMCAD'98
, vol.1522
, pp. 82-99
-
-
Sheeran, M.1
Stålmarck, G.2
-
21
-
-
33845937791
-
-
Esterel Technologies
-
Esterel Technologies. Scade suite do-178b qualified code generator. http://www.esterel-technologies.com/products/scade-suite/do-178b-code- generation.html.
-
Scade suite do-178b qualified code generator
-
-
-
22
-
-
33845922932
-
-
W. E. Vesely, F. F. Goldberg, N. H. Roberts, and D. F. Haasl. Fault Tree Handbook. U. S. Nuclear Regulatory Commission, NUREG-0492, Washington DC, 1981.
-
W. E. Vesely, F. F. Goldberg, N. H. Roberts, and D. F. Haasl. Fault Tree Handbook. U. S. Nuclear Regulatory Commission, NUREG-0492, Washington DC, 1981.
-
-
-
|