Login / Signup

Automated Verification of Temporal Properties of Ladder Programs.

Cláudio Belo LourençoDenis CousineauFlorian FaissoleClaude MarchéDavid MentréHiroaki Inoue
Published in: FMICS (2021)
Keyphrases
  • temporal properties
  • model checking
  • automated verification
  • temporal logic
  • formal verification
  • formal specification
  • formal methods
  • bayesian networks
  • automated reasoning