Xprova: Formal Verification Tool with Built-in Metastability Modeling.

Ghaith Tarawneh Andrey Mokhov

Published in: ACSD (2017)

Keyphrases

formal verification
model checking
bounded model checking
model checker
symbolic model checking
automated verification
modeling tool
data sets
knowledge acquisition
user friendly