The PERF Approach for Formal Verification.

Nazim Benaïssa David Bonvoisin Abderrahmane Feliachi Julien Ordioni

Published in: RSSRail (2016)

Keyphrases

formal verification
model checking
automated verification
model checker
bounded model checking
symbolic model checking
coloured petri nets
functional verification
open source
program slicing
reinforcement learning
orders of magnitude
temporal logic