Temporal debugging for concurrent systems

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

Volumn 2280 LNCS, Issue , 2002, Pages 431-444

  Gunter, Elsa ^a   Peled, Doron ^b  

^a University Heights   (United States)

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

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; COMPUTER CIRCUITS; CONCURRENCY CONTROL; SEARCH ENGINES; SPECIFICATIONS; TEMPORAL LOGIC;

AUTOMATIC VERIFICATION; CONCURRENT SYSTEMS; FINITE STATE SYSTEMS; NEW APPLICATIONS; SEARCH STRATEGIES; SEQUENTIAL PROGRAMS; TEMPORAL SPECIFICATION; TEMPORAL VERIFICATION;

PROGRAM DEBUGGING;

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

References (8)

1. E. M. Clarke, E. A. Emerson, Design and synthesis of synchronization skeletons using branching time temporal logic. Workshop on Logic of Programs, Yorktown Heights, NY, Lecture Notes in Computer Science 131, Springer-Verlag, 1981, 52-71.
2. E. A. Emerson, E. M. Clarke, Characterizing correctness properties of parallel programs using fixpoints, International Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science 85, Springer-Verlag, July 1980, 169-181.
3. E.R. Gansner, S.C. North, An open graph visualization system and its applications to software engineering, Software - Practice and Experience, 30(2000), 1203-1233.
4. R. Gerth, D. Peled, M.Y. Vardi, P. Wolper, Simple On-the-fly Automatic Verification of Linear Temporal Logic, PSTV95, Protocol Specification Testing and Verification, 3-18, Chapman & Hall, 1995, Warsaw, Poland.
5. P. Godefroid, Model checking for programming languages using Verisoft, POPL 1997, 174-186.
6. G. Holzmann, Design and Validation of Computer Protocol, Prentice Hall.
7. A. Pnueli, The temporal logic of programs, 18th IEEE symposium on Foundation of Computer Science, 1977, 46-57.
8. A. Pnueli, R. Rosner, A Choppy Logic, Logic in Computer Science 1986, Cambridge, Massachusetts, 1986, 306-318.