SyLVaaS: System Level Formal Verification as a Service.

Toni Mancini Federico Mari Annalisa Massini Igor Melatti Enrico Tronci

Published in: PDP (2015)

Keyphrases

formal verification
model checking
service providers
temporal logic
model checker
automated verification
web services
management system
service oriented
bounded model checking
program slicing
knowledge base
higher level
information services
service oriented architecture
application level