Least fixpoint approximations for reachability analysis.
In-Ho MoonJames H. KukulaThomas R. ShipleFabio SomenziPublished in: ICCAD (1999)
Keyphrases
- fixpoint
- reachability analysis
- model checking
- finite state machines
- logic programs
- deductive databases
- markov decision processes
- timed automata
- horn clauses
- incremental algorithms
- datalog programs
- stable models
- fixpoint semantics
- model theoretic
- temporal logic
- state space
- logic programming
- sql queries
- integrity constraints
- proof theoretic
- nonmonotonic reasoning
- inductive logic programming
- pattern matching
- general purpose
- database