Efficient Computation of Nested Fix-Points, with Applications to Model Checking.
Bart VergauwenJohan LewiI. AvauA. PotéPublished in: ICTL (1994)
Keyphrases
- efficient computation
- model checking
- temporal logic
- model checker
- automated verification
- temporal properties
- symbolic model checking
- computational efficiency
- formal verification
- verification method
- finite state
- reachability analysis
- formal specification
- epistemic logic
- formal methods
- transition systems
- timed automata
- bounded model checking
- computation tree logic
- data points
- point sets
- linear temporal logic
- concurrent systems
- pspace complete
- data structure
- asynchronous circuits
- data distribution
- high dimensional
- deterministic finite automaton