The Cost of Formal Verification in Adaptive CPS. An Example of a Virtualized Server Node.

Marcello M. Bersani Marisol García-Valls

Published in: HASE (2016)

Keyphrases

formal verification
model checking
symbolic model checking
database
storage cost
bounded model checking
automated verification
model checker
total cost
artificial intelligence
path length
web server
client server
program slicing
minimum cost
tree structure
wireless networks
operating system
wireless sensor networks