Login / Signup
Under-approximation Heuristics for Grid-based Bounded Model Checking.
Subramanian K. Iyer
Jawahar Jain
Debashis Sahoo
E. Allen Emerson
Published in:
Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
</>
bounded model checking
formal verification
model checking
temporal logic
linear temporal logic
approximation schemes
heuristic search
approximation algorithms
approximation methods
worst case analysis
closed form
approximation error
search algorithm
multi agent systems
error bounds