Formal Verification of Robustness.

Niels Thole Görschwin Fey

Published in: SyDe Summer School (2015)

Keyphrases

formal verification
model checking
model checker
symbolic model checking
automated verification
bounded model checking
program slicing
coloured petri nets
neural network
computational efficiency
functional verification
artificial intelligence
domain specific
domain independent
temporal logic