Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications.

Erzsébet Németh Tamás Bartha

Published in: FMICS (2008)

Keyphrases

formal verification
model checker
model checking
bounded model checking
functional verification
automated verification
symbolic model checking
formal specification
functional properties
temporal logic
functional language
motion estimation
motion compensation
program slicing
discrete cosine transform