Transactor-based Formal Verification of Real-time Embedded Systems.

Daniel Karlsson Petru Eles Zebo Peng

Published in: FDL (2007)

Keyphrases

formal verification
real time embedded systems
model checking
model checker
symbolic model checking
bounded model checking
automated verification
coloured petri nets
temporal logic
functional verification
artificial intelligence
formal methods
program slicing