Lattice-Based Refinement in Bounded Model Checking.

Karine Even-Mendoza Sepideh Asadi Antti E. J. Hyvärinen Hana Chockler Natasha Sharygina

Published in: VSTTE (2018)

Keyphrases

bounded model checking
model checking
formal verification
temporal logic
linear temporal logic
multi agent systems
data sets
model checker
refinement process
learning algorithm
orders of magnitude
step wise
transition systems