A Stuttering Closed Temporal Logic for Modular Reasoning about Concurrent Programs.
Abdelillah MokkedemDominique MéryPublished in: ICTL (1994)
Keyphrases
- temporal logic
- concurrent programs
- process algebra
- model checking
- concurrent systems
- modal logic
- modal operators
- satisfiability problem
- formal specification
- concurrent programming
- transition systems
- verification method
- computation tree logic
- mazurkiewicz traces
- bounded model checking
- linear temporal logic
- web applications
- asynchronous circuits
- reactive systems
- qualitative reasoning
- general purpose
- qualitative simulation
- formal methods
- belief revision
- software engineering
- formal specification language
- artificial intelligence
- heuristic search
- database systems
- automata theoretic