SyLVaaS: System Level Formal Verification as a Service.

Toni Mancini Federico Mari Annalisa Massini Igor Melatti Enrico Tronci

Published in: Fundam. Informaticae (2016)

Keyphrases

formal verification
model checking
service oriented
web services
application level
bounded model checking
information services
automated verification
end users
model checker
symbolic model checking
artificial intelligence
open source