Adaptive model checking

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2280 LNCS, Issue , 2002, Pages 357-370

  Groce, Alex ^a   Peled, Doron ^b   Yannakakis, Mihalis ^c  

^a Carnegie Mellon University   (United States)

^b The University of Texas at Austin   (United States)

^c AVAYA LABS RESEARCH   (United States)

Author keywords

Automatic verification; Black box testing; Learning algorithms

Indexed keywords

BLACK-BOX TESTING; LEARNING ALGORITHMS; LEARNING SYSTEMS;

ADAPTIVE MODELING; AUTOMATIC VERIFICATION; BLACK BOXES; MODEL ERRORS; VERIFICATION RESULTS;

MODEL CHECKING;

EID: 84888270231     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46002-0_25     Document Type: Conference Paper

References (10)

1. D. Angluin, Learning Regular Sets from Queries and Counterexamples, Information and Computation, 75, 87-106 (1978).
2. G. Birtwistle, F. Moller, Ch. Tofts, The verification of a COMA cache coherence protocol, IEEE Workshop on Formal Methods in Software Practice (FMSP'96).
3. T. S. Chow, Testing software design modeled by finite-state machines, IEEE transactions on software engineering, SE-4, 3, 1978, 178-187.
4. E. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith, Counterexample- guided abstraction refinement, CAV 2000, 154-169.
5. R. Cleaveland, J. Parrow, B. Steffen, The Concurrency Workbench: a semantic-based tool for the verification of concurrent systems, TOPLAS 15(1993), 36-72.
6. Courcoubetis, C., Vardi, M.Y., Wolper, P., Yannakakis, M., Memory efficient algorithms for the verification of temporal properties, Formal Methods in System Design 1(1992), pp. 275-288.
7. J.E. Hopcroft, An n log n algorithm for minimizing the states in finite automata, The theory of Machines and Computation, Academic Press, New York, 189-196, 1971.
8. D. Lee, M. Yannakakis, Principles and methods of testing finite state machines - a survey, Proceedings of the IEEE, 84(8), 1090-1126, 1996.
9. D. Peled, M. Y. Vardi, M. Yannakakis, Black Box Checking, Black Box Checking, FORTE/PSTV 1999, Beijing, China.
10. M. P. Vasilevskii, Failure diagnosis of automata, Kibertetika, no 4, 1973, 98-108.