A Logic with Temporal Glue for Mixed Specifications.
Marc AiguierFabrice BarbierPascal PoizatPublished in: Electron. Notes Theor. Comput. Sci. (2004)
Keyphrases
- delay insensitive
- asynchronous circuits
- linear temporal logic
- spatio temporal
- bounded model checking
- spatial and temporal
- temporal constraints
- temporal information
- transition systems
- temporal databases
- modal logic
- operational semantics
- predicate logic
- model checker
- automated reasoning
- temporal patterns
- model checking
- logic programming
- functional requirements
- classical logic
- concurrent systems
- recursive programs
- multi valued
- formal language
- temporal consistency
- temporal dimension
- information systems
- software package
- temporal reasoning
- partial order
- open source
- high level