Counterexample-Guided Abstraction Refinement for PLCs.

Sebastian Biallas Jörg Brauer Stefan Kowalewski

Published in: SSV (2010)

Keyphrases

model checking
high level
step wise
refinement process
formal verification
query refinement
object oriented
neural network
website
real time
low level
decision theoretic planning
programming language
expert systems
cooperative
face recognition
computer vision
databases