A Metric Encoding for Bounded Model Checking.

Matteo Pradella Angelo Morzenti Pierluigi San Pietro

Published in: FM (2009)

Keyphrases

bounded model checking
model checking
formal verification
temporal logic
linear temporal logic
metric space
multi agent systems
encoding scheme
distance function
distance metric
evaluation metrics
fractal image compression
similarity measure
metric learning
quality metrics