SMT for state-based formal methods: the ASM case study.

Paolo Arcaini Angelo Gargantini Elvinia Riccobene

Published in: AFM@NFM (2017)

Keyphrases

formal methods
case study
formal analysis
knowledge based systems
safety critical
artificial intelligence
database
data mining
multi agent systems
expert systems
fine grained
business process
black box
active shape model
temporal properties