Formal Verification of Real-Time Function Blocks Using PVS.

Linna Pang Chen-Wei Wang Mark Lawford Alan Wassyng Josh Newell Vera Chow David Tremaine

Published in: ESSS (2015)

Keyphrases

formal verification
real time
model checking
bounded model checking
model checker
symbolic model checking
automated verification
real time systems
low cost
control system
high speed
program slicing
planning domains
timed automata