Login / Signup
Model checker aided design of a controller for a wafer scanner.
Martijn Hendriks
Barend van den Nieuwelaar
Frits W. Vaandrager
Published in:
Int. J. Softw. Tools Technol. Transf. (2006)
Keyphrases
</>
formal verification
model checker
neural network
control system
model checking
temporal logic
formal methods
machine learning
case study
domain specific
gray scale
heuristic search
design patterns
symbolic model checking