Track Report for Formal Verification of Service Based Systems: FVSBS 2017.

Mohamed Graiet Kais Klai

Published in: WETICE (2017)

Keyphrases

formal verification
management system
automated verification
model checking
model checker
formal methods
knowledge based systems
bounded model checking
web services
expert systems
complex systems
reverse engineering
semantic web services
mission critical