-
1
-
-
0033131509
-
Symbolic verification of communication protocols with infinite state spaces using qdds
-
Boigelot B, Godelfroid P. Symbolic verification of communication protocols with infinite state spaces using qdds. Formal Methods and System Design 1999;14(3):237-255
-
(1999)
Formal Methods and System Design
, vol.14
, Issue.3
, pp. 237-255
-
-
Boigelot, B.1
Godelfroid, P.2
-
3
-
-
0012085727
-
Model-checking concurrent systems with unbounded integer variables: Symbolic representations, approximations, and experimental results
-
Bultan T, Gerber RA, Pugh W. Model-checking concurrent systems with unbounded integer variables: symbolic representations, approximations, and experimental results. ACM Transactions on Programming Languages and Systems 1999;21(4):747-789
-
(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
-
-
85029507676
-
State-based model checking of event-driven system requirements
-
Proceedings of the ACM SIGSOFT '91 conference on software for critical systems.
-
Atlee JM, Gannon JD. 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 1991; 16(5)
-
(1991)
Software Engineering Notes
, vol.16
, Issue.5
-
-
Atlee, J.M.1
Gannon, J.D.2
-
6
-
-
0032121284
-
Model checking large software specification
-
Chan W, Anderson RJ, Beame P, Burns S, Modugno F, Notkin D, Reese JD. Model checking large software specification. IEEE Transactions on Software Engineering 1998;24(7):498-520
-
(1998)
IEEE Transactions on Software Engineering
, vol.24
, Issue.7
, pp. 498-520
-
-
Chan, W.1
Anderson, R.J.2
Beame, P.3
Burns, S.4
Modugno, F.5
Notkin, D.6
Reese, J.D.7
-
7
-
-
0032203845
-
Using abstraction and model checking to detect safety violations in requirements specifications
-
Heitmeyer C, Kirby J Jr, Labaw B, Archer M, Bharadwaj R. Using abstraction and model checking to detect safety violations in requirements specifications. IEEE Transactions on Software Engineering 1998;24(11):927-948
-
(1998)
IEEE Transactions on Software Engineering
, vol.24
, Issue.11
, pp. 927-948
-
-
Heitmeyer, C.1
Kirby Jr., J.2
Labaw, B.3
Archer, M.4
Bharadwaj, R.5
-
8
-
-
84944406286
-
Counterexample-guided abstraction refinement
-
July
-
Clarke E, Grumberg O, Jha S, Lu Y, Veith H. Counterexample-guided abstraction refinement. In: Proceedings of the 12th international conference on computer aided verification, July 2000, pp 154-169
-
(2000)
Proceedings of the 12th International Conference on Computer Aided Verification
, pp. 154-169
-
-
Clarke, E.1
Grumberg, O.2
Jha, S.3
Lu, Y.4
Veith, H.5
-
9
-
-
84863962507
-
Generating finite-state absractions of reactive systems using decision procedures
-
Springer, Berlin
-
Colon M, Uribe T. Generating finite-state absractions of reactive systems using decision procedures. In: Computer aided verification. Springer, Berlin, 1998, pp 293-304
-
(1998)
Computer Aided Verification
, pp. 293-304
-
-
Colon, M.1
Uribe, T.2
-
13
-
-
18844368270
-
Automatic predicate abstraction of c programs
-
Ball T, Majumdar R, Millstein T, Rajamani SK Automatic predicate abstraction of c programs. SIGPLAN Notices (ACM Special Interest Group on Programming Languages) 2001;36(5):203-213
-
(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
-
15
-
-
85016896911
-
Verifying systems with integer constraints and boolean predicates: A composite approach
-
Bultan T, Gerber R, League C. Verifying systems with integer constraints and boolean predicates: a composite approach. In: ISSTA, 1998
-
(1998)
ISSTA
-
-
Bultan, T.1
Gerber, R.2
League, C.3
-
16
-
-
84947424049
-
Combining constraint solving and symbolic model checking for a class of systems with non-linear constraints
-
Springer, Berlin
-
Chan W, Anderson R, Beame P, Notkin D. Combining constraint solving and symbolic model checking for a class of systems with non-linear constraints. In: Computer aided verification. Springer, Berlin, 1997, pp 316-327
-
(1997)
Computer Aided Verification
, pp. 316-327
-
-
Chan, W.1
Anderson, R.2
Beame, P.3
Notkin, D.4
-
17
-
-
25144486118
-
Automating modular verification
-
Alur R, de Alfaro L, Henzinger TA, Mang FYC. Automating modular verification. In: Proceedings of 10th international conference on concurrency theory (CONCUR '99), 1999, pp 82-97
-
(1999)
Proceedings of 10th International Conference on Concurrency Theory (CONCUR '99)
, pp. 82-97
-
-
Alur, R.1
De Alfaro, L.2
Henzinger, T.A.3
Mang, F.Y.C.4
-
18
-
-
0000511267
-
Using partial-order methods in the formal validation of industrial concurrent programs
-
Godefroid P, Peled D, Staskauskas M. Using partial-order methods in the formal validation of industrial concurrent programs. IEEE Transactions on Software Engineering 1996;22(7):496-507
-
(1996)
IEEE Transactions on Software Engineering
, vol.22
, Issue.7
, pp. 496-507
-
-
Godefroid, P.1
Peled, D.2
Staskauskas, M.3
-
20
-
-
84948128225
-
Abstraction and modular verification of infinite-state reactive systems
-
Requirements targeting software and systems engineering (RTSE), Springer, Berlin
-
Manna Z, Colon M, Finkbeiner B, Sipma H, Uribe T. Abstraction and modular verification of infinite-state reactive systems. In: Requirements targeting software and systems engineering (RTSE), LNCS. Springer, Berlin, 1998
-
(1998)
LNCS
-
-
Manna, Z.1
Colon, M.2
Finkbeiner, B.3
Sipma, H.4
Uribe, T.5
-
22
-
-
84863906620
-
Verifying systems with infinite but regular state spaces
-
Springer, Berlin
-
Wolper P, Boigelot B. Verifying systems with infinite but regular state spaces. In: Computer aided verification. Springer, Berlin, 1998, pp 88-97
-
(1998)
Computer Aided Verification
, pp. 88-97
-
-
Wolper, P.1
Boigelot, B.2
-
29
-
-
0041664310
-
HyTech: The Cornell hybrid technology tool
-
Hybrid Systems II, Springer, Berlin
-
Henzinger TA, Ho P-H. HyTech: the Cornell hybrid technology tool. In: Hybrid Systems II, Vol 999 of Lecture Notes in Computer Science. Springer, Berlin, 1995, pp 265-294
-
(1995)
Lecture Notes in Computer Science
, vol.999
, pp. 265-294
-
-
Henzinger, T.A.1
Ho, P.-H.2
-
32
-
-
84887437658
-
Specification based prototyping for embedded systems
-
Seventh ACM SIGSOFT symposium on the foundations on software engineering, number 1687 September
-
Thompson JM, Heimdahl MPE, Miller SP. Specification based prototyping for embedded systems. In: Seventh ACM SIGSOFT symposium on the foundations on software engineering, number 1687 in LNCS, September 1999, pp 163-179
-
(1999)
LNCS
, pp. 163-179
-
-
Thompson, J.M.1
Heimdahl, M.P.E.2
Miller, S.P.3
|