-
1
-
-
0034873751
-
Temporal logic query-checking
-
Boston, MA, USA, June; IEEE Computer Society
-
G. Bruns and P. Godefroid. "Temporal Logic Query-Checking", In Proceedings of 16th Annual IEEE Symposium on Logic in Computer Science pages 409-417, Boston, MA, USA, June 2001. IEEE Computer Society.
-
(2001)
Proceedings of 16th Annual IEEE Symposium on Logic in Computer Science
, pp. 409-417
-
-
Bruns, G.1
Godefroid, P.2
-
2
-
-
84944404064
-
Temporal-logic queries
-
In E. Emerson and A. Sistla, editors; Chicago, IL, USA, July; Springer
-
W. Chan. "Temporal-Logic Queries". In E. Emerson and A. Sistla, editors, Proceedings of the 12th Conference on Computer Aided Verification (CAV'00), volume 1855 of Lecture Notes in Computer Science, pages 450-463, Chicago, IL, USA, July 2000. Springer.
-
(2000)
Proceedings of the 12th Conference on Computer Aided Verification (CAV'00), Volume 1855 of Lecture Notes in Computer Science
, pp. 450-463
-
-
Chan, W.1
-
3
-
-
0004459024
-
3: Towards usability of formal methods
-
November
-
3: Towards Usability of Formal Methods". In Proceedings of CASCON'98, pages 177-191, November 1998.
-
(1998)
Proceedings of CASCON'98
, pp. 177-191
-
-
Chechik, M.1
-
4
-
-
84937547766
-
XChek: A multi-valued model-checker
-
Copenhagen, Denmark, July; Springer
-
M. Chechik, B. Devereux, and A. Gurfinkel, "XChek: A Multi-Valued Model-Checker". In Proceedings of 14th International Conference on Computer-Aided Verification (CAV'02), Lecture Notes in Computer Science, pages 505-509, Copenhagen, Denmark, July 2002. Springer.
-
(2002)
Proceedings of 14th International Conference on Computer-Aided Verification (CAV'02), Lecture Notes in Computer Science
, pp. 505-509
-
-
Chechik, M.1
Devereux, B.2
Gurfinkel, A.3
-
5
-
-
84881157266
-
Model-checking over multi-valued logics
-
Springer, March
-
M. Chechik, S. Easterbrook, and V. Petrovykh. "Model-Checking Over Multi-Valued Logics". In Proceedings of Formal Methods Europe (FME'01), volume 2021 of Lecture Notes in Computer Science, pages 72-98. Springer, March 2001.
-
(2001)
Proceedings of Formal Methods Europe (FME'01), Volume 2021 of Lecture Notes in Computer Science
, pp. 72-98
-
-
Chechik, M.1
Easterbrook, S.2
Petrovykh, V.3
-
6
-
-
0022706656
-
Automatic verification of finite-state concurrent systems using temporal logic specifications
-
April
-
E. Clarke, E. Emerson, and A. Sistla. "Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications". ACM Transactions on Programming Languages and Systems, 8(22):244-263, April 1986.
-
(1986)
ACM Transactions on Programming Languages and Systems
, vol.8
, Issue.2
, pp. 244-263
-
-
Clarke, E.1
Emerson, E.2
Sistla, A.3
-
9
-
-
84958769296
-
Test generation for intelligent networks using model checking
-
In E. Brinksma, editor; Springer
-
A. Engels, L. Feijs, and S. Mauw. "Test Generation for Intelligent Networks Using Model Checking". In E. Brinksma, editor, Proceedings of the Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'97), volume 1217 of Lecture Notes in Computer Science, pages 384-398, Springer, 1997.
-
(1997)
Proceedings of the Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'97), Volume 1217 of Lecture Notes in Computer Science
, pp. 384-398
-
-
Engels, A.1
Feijs, L.2
Mauw, S.3
-
11
-
-
26344448206
-
Temporal logic query checking through multi-valued model checking
-
CSRG Technical Report 457, University of Toronto, Department of Computer Science, March
-
A. Gurfinkel, B. Devereux, and M. Chechik. "Temporal Logic Query Checking through Multi-Valued Model Checking". CSRG Technical Report 457, University of Toronto, Department of Computer Science, March 2002.
-
(2002)
-
-
Gurfinkel, A.1
Devereux, B.2
Chechik, M.3
-
12
-
-
0030197750
-
Automated consistency checking of requirements specifications
-
July
-
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, July 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
-
-
0038594080
-
Automatic test generation from statecharts using model checking
-
August
-
H. Hong, I. Lee, O. Sokolsky, and S. Cha. "Automatic Test Generation from Statecharts Using Model Checking". In Proceedings of FATES'01, Workshop on Formal Approaches to Testing of Software, volume NS-01-4 of BRICS Notes Series, pages 15-30, August 2001.
-
(2001)
Proceedings of FATES'01, Workshop on Formal Approaches to Testing of Software, Volume NS-01-4 of BRICS Notes Series
, pp. 15-30
-
-
Hong, H.1
Lee, I.2
Sokolsky, O.3
Cha, S.4
-
14
-
-
0032218218
-
Automatic generation of state invariants from requirements specifications
-
Orlando, FL, November; ACM
-
R. Jeffords and C. Heitmeyer, "Automatic Generation of State Invariants from Requirements Specifications". In Proceedings of 6th International Symposium on Foundations of Software Engineering (FSE'98), pages 56-69, Orlando, FL, November 1998. ACM.
-
(1998)
Proceedings of 6th International Symposium on Foundations of Software Engineering (FSE'98)
, pp. 56-69
-
-
Jeffords, R.1
Heitmeyer, C.2
-
15
-
-
0034828454
-
An algorithm for strengthening state invariants generated from requirements specifications
-
Toronto, Canada, August; IEEE Computer Society
-
R. Jeffords and C. Heitmeyer. "An Algorithm for Strengthening State Invariants Generated from Requirements Specifications". In Proceedings of 5th IEEE International Symposium on Requirements Engineering (RE'01), pages 182-191, Toronto, Canada, August 2001. IEEE Computer Society.
-
(2001)
Proceedings of 5th IEEE International Symposium on Requirements Engineering (RE'01)
, pp. 182-191
-
-
Jeffords, R.1
Heitmeyer, C.2
-
16
-
-
0003992778
-
Example NRL/SCR software requirements for an automobile cruise control and monitoring system
-
Technical report, Wang Institute of Graduate Studies, October; Revision 2.0 by Skip Osborne and Aaron Temin.
-
J. Kirby. "Example NRL/SCR Software Requirements for an Automobile Cruise Control and Monitoring System". Technical report, Wang Institute of Graduate Studies, October 1988. Revision 2.0 by Skip Osborne and Aaron Temin.
-
(1988)
-
-
Kirby, J.1
-
17
-
-
0001667648
-
An automata-theoretic approach to branching-time model checking
-
March
-
O. Kupferman, M. Vardi, and P. Wolper. "An Automata-Theoretic Approach to Branching-Time Model Checking". Journal of the ACM, 27(2):312-360, March 2000.
-
(2000)
Journal of the ACM
, vol.27
, Issue.2
, pp. 312-360
-
-
Kupferman, O.1
Vardi, M.2
Wolper, P.3
-
18
-
-
0034971203
-
Coverage based test-case generation using model checkers
-
Washington, DC, USA, April; IEEE Computer Society
-
S. Rayadurgam and M. P. Heimdahl. "Coverage Based Test-Case Generation using Model Checkers". In Proceedings of 8th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS'01), pages 83-93, Washington, DC, USA, April 2001. IEEE Computer Society.
-
(2001)
Proceedings of 8th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS'01)
, pp. 83-93
-
-
Rayadurgam, S.1
Heimdahl, M.P.2
|