-
2
-
-
15844387664
-
TAME: A PVS interface to simplify proofs for automata models
-
Eindhoven, Netherlands, July
-
M. Archer, C. Heitmeyer, and S. Sims. TAME: A PVS interface to simplify proofs for automata models. In Proc. User Interfaces for Theorem Provers 1998 (UITP '98), Eindhoven, Netherlands, July 1998.
-
(1998)
Proc. User Interfaces for Theorem Provers 1998 (UITP '98)
-
-
Archer, M.1
Heitmeyer, C.2
Sims, S.3
-
5
-
-
0032674648
-
Model checking complete requirements specifications using abstraction
-
January
-
R. Bharadwaj and C. Heitmeyer. Model checking complete requirements specifications using abstraction. Automated Software Engineering, 6(1), January 1999.
-
(1999)
Automated Software Engineering
, vol.6
, Issue.1
-
-
Bharadwaj, R.1
Heitmeyer, C.2
-
7
-
-
0043242663
-
Formal methods for verification and validation of partial specifications: A case study
-
S. Easterbrook and J. Callahan. Formal methods for verification and validation of partial specifications: A case study. Journal of Systems and Software, 1997.
-
(1997)
Journal of Systems and Software
-
-
Easterbrook, S.1
Callahan, J.2
-
8
-
-
84942211164
-
The CoRE method for real-time requirements
-
September
-
S. R. Faulk, J. Brackett, P. Ward, and J. Kirby. The CoRE method for real-time requirements. IEEE Software, 9(5):22-33, September 1992.
-
(1992)
IEEE Software
, vol.9
, Issue.5
, pp. 22-33
-
-
Faulk, S.R.1
Brackett, J.2
Ward, P.3
Kirby, J.4
-
10
-
-
4544221419
-
Completeness and consistency in hierarchical state-based requirements
-
June
-
M. P. E. Heimdahl and N. G. Leveson. Completeness and consistency in hierarchical state-based requirements. IEEE Transactions on Software Engineering, 22(6):363-377, June 1996.
-
(1996)
IEEE Transactions on Software Engineering
, vol.22
, Issue.6
, pp. 363-377
-
-
Heimdahl, M.P.E.1
Leveson, N.G.2
-
11
-
-
0032203845
-
Using abstraction and model checking to detect safety violations in requirements specifications
-
November
-
C. Heitmeyer, J. Kirby, B. Labaw, M. Archer, and R. Bharadwaj. Using abstraction and model checking to detect safety violations in requirements specifications. IEEE Trans, on Softw. Eng., 24(11):927-948, November 1998.
-
(1998)
IEEE Trans, on Softw. Eng.
, vol.24
, Issue.11
, pp. 927-948
-
-
Heitmeyer, C.1
Kirby, J.2
Labaw, B.3
Archer, M.4
Bharadwaj, R.5
-
12
-
-
0030197750
-
Automated consistency checking of requirements specifications
-
April-June
-
C. L. 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, April-June 1996.
-
(1996)
ACM Transactions on Software Engineering and Methodology
, vol.5
, Issue.3
, pp. 231-261
-
-
Heitmeyer, C.L.1
Jeffords, R.D.2
Labaw, B.G.3
-
13
-
-
0030674644
-
Tools for formal specification, verification, and validation of requirements
-
Gaithersburg, MD, June
-
C. Heitmeyer, J. Kirby, and B. Labaw. Tools for formal specification, verification, and validation of requirements. In Proc. 12th Annual Conf. on Computer Assurance (COMPASS '97), Gaithersburg, MD, June 1997.
-
(1997)
Proc. 12th Annual Conf. on Computer Assurance (COMPASS '97)
-
-
Heitmeyer, C.1
Kirby, J.2
Labaw, B.3
-
15
-
-
0003793975
-
-
Technical Report Naval Research Lab., Wash., DC
-
K. Heninger, D. L. Parnas, J. E. Shore, and J. W. Kallan-der. Software requirements for the A-7E aircraft. Technical Report 3876, Naval Research Lab., Wash., DC, 1978.
-
(1978)
Software Requirements for The A-7E Aircraft
-
-
Heninger, K.1
Parnas, D.L.2
Shore, J.E.3
Kallan-Der, J.W.4
-
20
-
-
0001383866
-
An introduction to input/Output automata
-
September Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands
-
N. Lynch and M. Tuttle. An introduction to Input/Output automata. CWI-Quarterly, 2(3):219-246, September 1989. Centrum voor Wiskunde en Informatica, Amsterdam, The Netherlands.
-
(1989)
CWI-Quarterly
, vol.2
, Issue.3
, pp. 219-246
-
-
Lynch, N.1
Tuttle, M.2
-
21
-
-
0002658813
-
Forward and backward simulations - Part II: Timing-based systems
-
July
-
N. Lynch and F. Vaandrager. Forward and backward simulations - Part II: Timing-based systems. Information and Computation, 128(1):1-25, July 1996.
-
(1996)
Information and Computation
, vol.128
, Issue.1
, pp. 1-25
-
-
Lynch, N.1
Vaandrager, F.2
-
23
-
-
0026142032
-
Assessment of safety-critical software in nuclear power plants
-
April-June
-
D. L. Parnas, G. J. K. Asmis, and J. Madey. Assessment of safety-critical software in nuclear power plants. Nuclear Safety, 32(2):189-198, April-June 1991.
-
(1991)
Nuclear Safety
, vol.32
, Issue.2
, pp. 189-198
-
-
Parnas, D.L.1
Asmis, G.J.K.2
Madey, J.3
-
24
-
-
0028584998
-
An experience modeling critical requirements
-
Gaithersburg, MD, June IEEE Press
-
C. N. Payne, A. P. Moore, and D. M. Mihelcic. An experience modeling critical requirements. In Proc. COMPASS '94, pages 245-256, Gaithersburg, MD, June 1994. IEEE Press.
-
(1994)
Proc. COMPASS '94
, pp. 245-256
-
-
Payne, C.N.1
Moore, A.P.2
Mihelcic, D.M.3
-
25
-
-
0003811984
-
-
Technical report, Computer Science Lab., SRI Intl., Menlo Park, CA
-
N. Shankar, S. Owre, and J. Rushby. The PVS proof checker: A reference manual. Technical report, Computer Science Lab., SRI Intl., Menlo Park, CA, 1993.
-
(1993)
The PVS Proof Checker: A Reference Manual
-
-
Shankar, N.1
Owre, S.2
Rushby, J.3
|