Login / Signup

Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application.

Josh NewellLinna PangDavid TremaineAlan WassyngMark 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