Login / Signup
PLCverif: Status of a Formal Verification Tool for Programmable Logic Controller.
Ignacio D. Lopez-Miguel
Jean-Charles Tournier
Borja Fernandez Adiego
Published in:
CoRR (2022)
Keyphrases
</>
formal verification
model checking
programmable logic controller
model checker
hardware and software
automated verification
symbolic model checking
neural network
artificial intelligence
bounded model checking
real time
database systems
petri net
input output
fuzzy control
program slicing