Formal Methods with a Touch of Magic.

Parand Alizadeh Alamdari Guy Avni Thomas A. Henzinger Anna Lukina

Published in: CoRR (2020)

Keyphrases

formal methods
model checking
formal analysis
formal specification
model checker
knowledge based systems
safety critical
provably correct
artificial intelligence
process algebra
temporal properties
software engineering
databases
fine grained
description language
security properties