Login / Signup
A Metric Encoding for Bounded Model Checking (extended version)
Matteo Pradella
Angelo Morzenti
Pierluigi San Pietro
Published in:
CoRR (2009)
Keyphrases
</>
bounded model checking
model checking
formal verification
temporal logic
multi agent systems
metric space
linear temporal logic
learning algorithm
similarity measure
programming language
image compression
heuristic search
distance metric
formal methods