Login / Signup
Towards establishing formal verification and inductive code synthesis in the PLC domain.
Matthias Weiß
Philipp Marks
Benjamin Maschler
Dustin White
Pascal Kesseli
Michael Weyrich
Published in:
CoRR (2021)
Keyphrases
</>
formal verification
model checking
program slicing
domain specific
bounded model checking
model checker
symbolic model checking
control system
domain independent
domain experts
machine learning
inductive learning
functional programs
automated verification
inductive logic programming