An Overview of Formal Verification for the Time-Triggered Architecture.

Published in: FTRTFT (2002)

Keyphrases

formal verification
model checking
bounded model checking
real time
model checker
software architecture
symbolic model checking
automated verification
program slicing
management system
layered architecture
functional verification
network architecture