Declarative Verifiable SDI Specifications.

Published in: IEEE Symposium on Security and Privacy Workshops (2016)

Keyphrases

attribute grammars
high level
spatial data
formal specification
knowledge representation
sufficient conditions
context free grammars
specification language
reactive systems
xml processing
delay insensitive
real time
databases
domain independent
logical formulas
concurrent systems