Compositional Safety Verification with Max-SMT.
Marc BrockschmidtDaniel LarrazAlbert OliverasEnric Rodríguez-CarbonellAlbert RubioPublished in: CoRR (2015)
Keyphrases
- safety analysis
- model checking
- safety critical
- verification method
- formal verification
- statistical machine translation
- decision trees
- multiscale
- databases
- formal analysis
- coal mining
- asynchronous circuits
- word alignment
- person identification
- face verification
- expert systems
- multi agent
- artificial intelligence
- neural network