Lightweight Formal Verification in Real World, A Case Study.

Andrea S. Atzeni Tao Su Teodoro Montanaro

Published in: CAiSE Workshops (2014)

Keyphrases

lightweight
formal verification
real world
model checking
case study
model checker
automated verification
bounded model checking
symbolic model checking
data sets
dos attacks
program slicing
social networks
wireless sensor networks
development environments