Static Analysis for State-Space Reductions Preserving Temporal Logics.
Karen YoravOrna GrumbergPublished in: Formal Methods Syst. Des. (2004)
Keyphrases
- static analysis
- temporal logic
- state space
- model checking
- dynamic analysis
- mazurkiewicz traces
- source code
- satisfiability problem
- modal logic
- heuristic search
- reinforcement learning
- abstract interpretation
- concurrent systems
- dynamic programming
- symbolic execution
- markov decision processes
- verification method
- temporal knowledge
- search space
- regular expressions
- java card
- predicate logic
- test suite
- planning problems
- belief revision
- optimal policy
- formal specification
- transition systems
- search algorithm
- computational complexity
- error rate
- case study
- object oriented