Login / Signup
Formal Verification of Downtimeless System Evolution in Embedded Automation Controllers.
Christoph Sünder
Valeriy Vyatkin
Alois Zoitl
Published in:
ACM Trans. Embed. Comput. Syst. (2013)
Keyphrases
</>
formal verification
model checking
evolutionary robotics
symbolic model checking
bounded model checking
automated verification
model checker
control system
reinforcement learning
temporal logic
embedded systems
program slicing
real time
web services
human operators
controller design