-
1
-
-
85040790785
-
-
BDD(3), June. Manual page for BDD package obtained via ftp from Carnegie-Mellon University
-
BDD(3). Manual page, June 1993. Manual page for BDD package obtained via ftp from Carnegie-Mellon University.
-
(1993)
Manual Page
-
-
-
2
-
-
0022769976
-
Graph-based algorithms for boolean function manipulation
-
August
-
R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Transactions on Computers, C-35(8):677-691, August 1986.
-
(1986)
IEEE Transactions on Computers
, vol.C-35
, Issue.8
, pp. 677-691
-
-
Bryant, R.E.1
-
3
-
-
84947424049
-
Combining constraint solving and symbolic model checking for a class of systems with non-linear constraints
-
O. Grumberg, editor, 1254 of Lecture Notes in Computer Science, June
-
W. Chan, R. Anderson, P. Beame, and D. Notkin. Combining constraint solving and symbolic model checking for a class of systems with non-linear constraints. In O. Grumberg, editor, Computer Aided Verification; 9th International Conference, CAV '97 Proceedings, volume 1254 of Lecture Notes in Computer Science, pages 316-327, June 1997.
-
(1997)
Computer Aided Verification; 9th International Conference, CAV '97 Proceedings
, pp. 316-327
-
-
Chan, W.1
Anderson, R.2
Beame, P.3
Notkin, D.4
-
4
-
-
84944385106
-
Improving efficiency of symbolic model checking for state-based system requirements
-
March
-
W. Chan, R. Anderson, P. Beame, and D. Notkin. Improving efficiency of symbolic model checking for state-based system requirements. In International Symposium on Software Testing and Analysis (ISSTA), pages 102-112, March 1998.
-
(1998)
International Symposium on Software Testing and Analysis (ISSTA)
, pp. 102-112
-
-
Chan, W.1
Anderson, R.2
Beame, P.3
Notkin, D.4
-
7
-
-
0028194745
-
Experience with formal methods in critical systems
-
Jan
-
S. Gerhart et al. Experience with formal methods in critical systems. IEEE Software, pages 21-28, Jan. 1994.
-
(1994)
IEEE Software
, pp. 21-28
-
-
Gerhart, S.1
-
8
-
-
0023365727
-
Statecharts: A visual formalism for complex systems
-
D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231-274, 1987.
-
(1987)
Science of Computer Programming
, vol.8
, pp. 231-274
-
-
Harel, D.1
-
9
-
-
0025416878
-
Statemate: A working environment for the development of complex reactive systems
-
Apr
-
D. Harel et al. Statemate: A working environment for the development of complex reactive systems. IEEE Transactions on Software Engineering, pages 403-413, Apr. 1990.
-
(1990)
IEEE Transactions on Software Engineering
, pp. 403-413
-
-
Harel, D.1
-
10
-
-
84955600143
-
Experiments in theorem proving and model checking for protocol verification
-
K. Havelund and N. Shankar. Experiments in theorem proving and model checking for protocol verification. In Formal Methods Europe (FME '96), pages 662-681, 1996.
-
(1996)
Formal Methods Europe (FME 96)
, pp. 662-681
-
-
Havelund, K.1
Shankar, N.2
-
12
-
-
4544221419
-
Completeness and consistency analysis of state-based requirements
-
June
-
M. P. Heimdahl and N. Leveson. Completeness and Consistency Analysis of State-Based Requirements. IEEE Transactions on Software Engineering, TSE-22(6):363-377, June 1996.
-
(1996)
IEEE Transactions on Software Engineering
, vol.TSE-22
, Issue.6
, pp. 363-377
-
-
Heimdahl, M.P.1
Leveson, N.2
-
14
-
-
0030197750
-
Automated consistency checking of requirements specifications
-
July
-
C. Heitmeyer, R. D. Jeffords, and B. G. Labaw. Automated consistency checking of requirements specifications. ACM Transactions on Software Engineering and Methodology, 5(3):231-261, July 1996.
-
(1996)
ACM Transactions on Software Engineering and Methodology
, vol.5
, Issue.3
, pp. 231-261
-
-
Heitmeyer, C.1
Jeffords, R.D.2
Labaw, B.G.3
-
15
-
-
0026121769
-
Software requirements analysis for realtime process-control systems
-
Mar
-
M. S. Jaffe et al. Software requirements analysis for realtime process-control systems. IEEE Transactions on Software Engineering, pages 241-257, Mar. 1991.
-
(1991)
IEEE Transactions on Software Engineering
, pp. 241-257
-
-
Jaffe, M.S.1
-
18
-
-
0028495490
-
Requirements specification for process-control systems
-
September
-
N. G. Leveson, M. P. E. Heimdahl, H. Hildreth, and J. Reese. Requirements specification for process-control systems. IEEE Transactions on Software Engineering, 20(9):684-707, September 1994.
-
(1994)
IEEE Transactions on Software Engineering
, vol.20
, Issue.9
, pp. 684-707
-
-
Leveson, N.G.1
Heimdahl, M.P.E.2
Hildreth, H.3
Reese, J.4
-
19
-
-
0029251055
-
Formal verification for fault-tolerant architectures: Prolegomena to the design of pvs
-
February
-
S. Owre, J. Rushby, N. Shankar, and F. von Henke. Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS. IEEE Transactions on Software Engineering, 21(2):107-125, February 1995.
-
(1995)
IEEE Transactions on Software Engineering
, vol.21
, Issue.2
, pp. 107-125
-
-
Owre, S.1
Rushby, J.2
Shankar, N.3
Von Henke, F.4
-
20
-
-
0003524744
-
-
Computer Science Laboratory; SRI International, Menlo Park, CA 94025, beta release edition, April
-
S. Owre, N. Shankar, and J.M.Rushby. The PVS Specification Language. Computer Science Laboratory; SRI International, Menlo Park, CA 94025, beta release edition, April 1993. Available at http://www.csl.sri.com/pvs.html.
-
(1993)
The PVS Specification Language
-
-
Owre, S.1
Shankar, N.2
Rushby, J.M.3
-
21
-
-
0003652264
-
-
Computer Science Laboratory; SRI International, Menlo Park, CA 94025, beta release edition, March
-
S. Owre, N. Shankar, and J.M.Rushby. User Guide for the PVS Specification and Verification System. Computer Science Laboratory; SRI International, Menlo Park, CA 94025, beta release edition, March 1993. Available at http://www.csl.sri.com/pvs.html.
-
(1993)
User Guide for the PVS Specification and Verification System
-
-
Owre, S.1
Shankar, N.2
Rushby, J.M.3
-
22
-
-
0024092198
-
Combining static concurrency analysis with symbolic execution
-
October
-
M. Young and R. N. Taylor. Combining static concurrency analysis with symbolic execution. IEEE Transactions on Software Engineering, 14(10):1499-1511, October 1988.
-
(1988)
IEEE Transactions on Software Engineering
, vol.14
, Issue.10
, pp. 1499-1511
-
-
Young, M.1
Taylor, R.N.2
-
23
-
-
0024942488
-
Integrated concurrency analaysis in a software development environment
-
M. Young, R. N. Taylor, K. Forester, and D. Brodbeck. Integrated concurrency analaysis in a software development environment. In Proceedings of the 3rd International Workshop on Testing, Analysis, and Verification, 1989.
-
(1989)
Proceedings of the 3rd International Workshop on Testing, Analysis, and Verification
-
-
Young, M.1
Taylor, R.N.2
Forester, K.3
Brodbeck, D.4
-
24
-
-
84991615642
-
-
Technical Report TR-128-P, Software Engineering Research Center, November
-
M. Young, R. N. Taylor, D. L. Levine, K. Forester, and D. Brodbeck. A concurrency analysis tool suite: Rationale, design, and preliminary experience. Technical Report TR-128-P, Software Engineering Research Center, November 1994.
-
(1994)
A Concurrency Analysis Tool Suite: Rationale, Design, and Preliminary Experience
-
-
Young, M.1
Taylor, R.N.2
Levine, D.L.3
Forester, K.4
Brodbeck, D.5
|