Formal Verification of Avionics Software Products.

Jean Souyris Virginie Wiels David Delmas Hervé Delseny

Published in: FM (2009)

Keyphrases

formal verification
model checking
model checker
bounded model checking
symbolic model checking
automated verification
coloured petri nets
functional verification
artificial intelligence
temporal logic
program slicing