Lightweight Symbolic Verification of Graph Transformation Systems with Off-the-Shelf Hardware Model Checkers.

Sebastian Gabmeyer Martina Seidl

Published in: TAP@STAF (2016)

Keyphrases

lightweight
high level
real time
management system
probabilistic model
computational model
communication infrastructure
computer systems
mathematical model
wireless sensor networks
probability distribution
building blocks
similarity search
hardware implementation
authentication protocol
high end