Evaluating the suitability of state-based formal methods for industrial deployment.

Atif Mashkoor Felix Kossak Alexander Egyed

Published in: Softw. Pract. Exp. (2018)

Keyphrases

formal methods
knowledge based systems
formal analysis
model checking
model checker
temporal properties
real world
expert systems
business rules