-
1
-
-
85029507676
-
State-based model checking of event-driven system requirements
-
Proceedings of the ACM SIGSOFT '91 Conference on Software for Critical Systems
-
J. M. Atlee and J. D. Gannon. State-based model checking of event-driven system requirements. In Proceedings of the ACM SIGSOFT '91 Conference on Software for Critical Systems. Software Engineering Notes. Volume 16 Number 5, 1991.
-
(1991)
Software Engineering Notes
, vol.16
, Issue.5
-
-
Atlee, J.M.1
Gannon, J.D.2
-
2
-
-
18844368270
-
Automatic predicate abstraction of c programs
-
May
-
T. Ball, R. Majumdar, T. Millstein, and S. K. Rajamani. Automatic predicate abstraction of c programs. SIGPLAN Notices (ACM Special Interest Group on Programming Languages), 36(5):203-213, May 2001.
-
(2001)
SIGPLAN Notices (ACM Special Interest Group on Programming Languages)
, vol.36
, Issue.5
, pp. 203-213
-
-
Ball, T.1
Majumdar, R.2
Millstein, T.3
Rajamani, S.K.4
-
3
-
-
0012085727
-
Model-checking concurrent systems with unbounded integer variables: Symbolic representations, approximations, and experimental results
-
July
-
T. Bultan, R. A. Gerber, and W. Pugh. Model-checking concurrent systems with unbounded integer variables: Symbolic representations, approximations, and experimental results. ACM Transactions on Programming Languages and Systems, 21(4):747-789, July 1999.
-
(1999)
ACM Transactions on Programming Languages and Systems
, vol.21
, Issue.4
, pp. 747-789
-
-
Bultan, T.1
Gerber, R.A.2
Pugh, W.3
-
5
-
-
0032121284
-
Model checking large software specifications
-
July
-
W. Chan, R. Anderson, P. Beame, S. Burns, F. Modugno, D. Notkin, and J. Reese. Model checking large software specifications. IEEE Transactions on Software Engineering, 24(7):498-520, July 1998.
-
(1998)
IEEE Transactions on Software Engineering
, vol.24
, Issue.7
, pp. 498-520
-
-
Chan, W.1
Anderson, R.2
Beame, P.3
Burns, S.4
Modugno, F.5
Notkin, D.6
Reese, J.7
-
7
-
-
0028513196
-
Model checking and abstraction
-
September
-
E. Clarke, O. Grumberg, and D. Long. Model checking and abstraction. ACM Transaction on Programming Languages and Systems, 16(5):1512-1542, September 1994.
-
(1994)
ACM Transaction on Programming Languages and Systems
, vol.16
, Issue.5
, pp. 1512-1542
-
-
Clarke, E.1
Grumberg, O.2
Long, D.3
-
9
-
-
0033697422
-
Bandera : Extracting Finite-state Models from Java Source Code
-
June
-
J. Corbett, M. Dwyer, J. Hatcliff, C. Pasareanu, Robby, S. Laubach, and H. Zheng. Bandera : Extracting Finite-state Models from Java Source Code. In Proc. of the 22nd Int'l Conf. on Software Engineering, June 2000.
-
(2000)
Proc. of the 22nd Int'l Conf. on Software Engineering
-
-
Corbett, J.1
Dwyer, M.2
Hatcliff, J.3
Pasareanu, C.4
Robby5
Laubach, S.6
Zheng, H.7
-
10
-
-
84863886894
-
Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving
-
J. Dingel and T. Filkorn. Model checking for infinite state systems using data abstraction, assumption-commitment style reasoning and theorem proving. In Computer Aided Verification, pages 54-69, 1995.
-
(1995)
Computer Aided Verification
, pp. 54-69
-
-
Dingel, J.1
Filkorn, T.2
-
13
-
-
0026221661
-
The synchronous dataflow programming language lustre
-
September
-
N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language lustre. Proceedings of the IEEE, 79(9):1305-1320, September 1991.
-
(1991)
Proceedings of the IEEE
, vol.79
, Issue.9
, pp. 1305-1320
-
-
Halbwachs, N.1
Caspi, P.2
Raymond, P.3
Pilaud, D.4
-
15
-
-
0023365727
-
Statecharts: A visual formalism for complex systems
-
June
-
D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8(3):231-274, June 1987.
-
(1987)
Science of Computer Programming
, vol.8
, Issue.3
, pp. 231-274
-
-
Harel, D.1
-
17
-
-
84952825567
-
-
Technical Report University of Minnesota, Department of Computer Science, Minneapolis, MN
-
M. P. Heimdahl, J. M. Thompson, B. J. Czerny, and D. Wijesekera. Specifying and analyzing system level intercomponent interfaces. Technical Report TR 98-030, University of Minnesota, Department of Computer Science, Minneapolis, MN, 1998.
-
(1998)
Specifying and Analyzing System Level Intercomponent Interfaces
-
-
Heimdahl, M.P.1
Thompson, J.M.2
Czerny, B.J.3
Wijesekera, D.4
-
18
-
-
0032203845
-
Using abstraction and model checking to detect safety violations in requirements specifications
-
November
-
C. Heitmeyer, J. K. Jr., B. Labaw, M. Archer, and R. Bharadwaj. Using abstraction and model checking to detect safety violations in requirements specifications. IEEE Transactions on Software Engineering, 24(11):927-948, November 1998.
-
(1998)
IEEE Transactions on Software Engineering
, vol.24
, Issue.11
, pp. 927-948
-
-
Heitmeyer, C.1
K, J.2
Labaw, B.3
Archer, M.4
Bharadwaj, R.5
-
19
-
-
0028495490
-
Requirements Specification for Process-Control Systems
-
September
-
N. Leveson, M. Heimdahl, H. Hildreth, and J. Reese. Requirements Specification for Process-Control Systems. IEEE Transactions on Software Engineering, 20(9):684-706, September 1994.
-
(1994)
IEEE Transactions on Software Engineering
, vol.20
, Issue.9
, pp. 684-706
-
-
Leveson, N.1
Heimdahl, M.2
Hildreth, H.3
Reese, J.4
-
20
-
-
84948128225
-
Abstraction and modular verificationof infinite-state reactive systems
-
Requirements Targeting Software and Systems Engineering (RTSE), Springer Verlag
-
Z. Manna, M. Colon, B. Finkbeiner, H. Sipma, and T. Uribe. Abstraction and modular verificationof infinite-state reactive systems. In Requirements Targeting Software and Systems Engineering (RTSE), LNCS. Springer Verlag, 1998.
-
(1998)
LNCS
-
-
Manna, Z.1
Colon, M.2
Finkbeiner, B.3
Sipma, H.4
Uribe, T.5
-
24
-
-
0003652264
-
-
Computer Science Laboratory; SRI International, Menlo Park, CA 94025, beta release edition, March
-
S. Owre, N. Shankar, and J. Rushby. User Guide for the PVS Specification and Verification System. Computer Science Laboratory; SRI International, Menlo Park, CA 94025, beta release edition, March 1993.
-
(1993)
User Guide for the PVS Specification and Verification System
-
-
Owre, S.1
Shankar, N.2
Rushby, J.3
-
26
-
-
84887437658
-
Specification based prototyping for embedded systems
-
Seventh ACM SIGSOFT Symposium on the Foundations on Software Engineering, September
-
J. M. Thompson, M. P. Heimdahl, and S. P. Miller. Specification based prototyping for embedded systems. In Seventh ACM SIGSOFT Symposium on the Foundations on Software Engineering, number 1687 in LNCS, pages 163-179, September 1999.
-
(1999)
LNCS
, vol.1687
, pp. 163-179
-
-
Thompson, J.M.1
Heimdahl, M.P.2
Miller, S.P.3
|