Compositionality in the Temporal Logic of Concurrent Systems (extended abstract).
Frank S. de BoerPublished in: PARLE (2) (1989)
Keyphrases
- extended abstract
- concurrent systems
- temporal logic
- model checking
- process algebra
- modal logic
- satisfiability problem
- transition systems
- model checker
- verification method
- mazurkiewicz traces
- linear temporal logic
- temporal knowledge
- belief revision
- bounded model checking
- computation tree logic
- temporally extended goals