Compositional Safety Verification with Max-SMT.

Marc Brockschmidt Daniel Larraz Albert Oliveras Enric Rodríguez-Carbonell Albert Rubio

Published in: FMCAD (2015)

Keyphrases

safety analysis
model checking
face verification
asynchronous circuits
control system
formal verification
neural network
machine learning
artificial intelligence
social networks
case study