Formal Verification of Safety PLC Based Control Software.

Dániel Darvas István Majzik Enrique Blanco Viñuela

Published in: IFM (2016)

Keyphrases

formal verification
control software
control system
model checking
model checker
automated verification
symbolic model checking
bounded model checking
fuzzy control
hardware and software
fuzzy logic
open source
temporal logic
control strategy
functional verification
control algorithm