Formal verification of storm topologies through D-VerT.

Francesco Marconi Marcello M. Bersani Matteo Rossi

Published in: SAC (2017)

Keyphrases

formal verification
model checking
model checker
short term
bounded model checking
automated verification
program slicing
coloured petri nets
big data
symbolic model checking
knowledge representation
network topologies
functional verification
open source
decision problems
formal specification