Login / Signup

Formal validation of PLC programs: A survey.

S. Lampérière-CouffinO. RossiJean-Marc RousselJean-Jacques Lesage
Published in: ECC (1999)
Keyphrases
  • formal model
  • control system
  • formal methods
  • data sets
  • formal analysis
  • automatic programming
  • information systems
  • hardware and software
  • control flow
  • provably correct