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:
INDIN (2021)
Keyphrases
</>
formal verification
model checking
program slicing
functional programs
domain specific
automated verification
model checker
bounded model checking
symbolic model checking
domain independent
reinforcement learning
inductive logic programming
hardware and software
program synthesis
functional verification