Parameterised Verification of Stabilisation Properties via Conditional Spotlight Abstraction.

Nils Timm Stefan Gruner

Published in: FTSCS (2016)

Keyphrases

structural properties
data structure
model checking
desirable properties
topological properties
bounded model checking
hardware designs
image processing
website