Login / Signup
Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application.
Josh Newell
Linna Pang
David Tremaine
Alan Wassyng
Mark Lawford
Published in:
J. Autom. Reason. (2018)
Keyphrases
</>
formal verification
real time
model checking
control system
model checker
bounded model checking
automated verification
xml documents
low cost
temporal logic