Starling: Lightweight Concurrency Verification with Views.

Matt Windsor Mike Dodds Ben Simner Matthew J. Parkinson

Published in: CAV (1) (2017)

Keyphrases

lightweight
multiple views
database systems
wireless sensor networks
model checking
concurrency control
distributed systems
handheld devices
user interface
multi view
wireless networks
face verification
development environments