Cycle-bounded model checking of PLC software via dynamic large-block encoding.

Dimitri Bohlender Daniel Hamm Stefan Kowalewski

Published in: SAC (2018)

Keyphrases

bounded model checking
software development
dynamic environments
software design
computer systems
software systems
model checking
software architecture
formal verification
control system
state space
object oriented
orders of magnitude
finite state
formal methods