Formal Verification of Industrial Critical Software.

Marielle Petit-Doche Nicolas Breton Roméo Courbis Yoann Fonteneau Matthias Güdemann

Published in: FMICS (2015)

Keyphrases

formal verification
model checking
program slicing
model checker
automated verification
bounded model checking
software systems
symbolic model checking
source code
software development
computer systems
temporal logic
software tools
user interface
fuzzy sets