Specifying a Linked Data Structure in JML for Formal Verification and Runtime Checking.

Christoph Gladisch Shmuel S. Tyszberowicz

Published in: SBMF (2013)

Keyphrases

linked data
formal verification
structured information
linked open data
semantic web
model checking
structured data
data sources
semantic data
symbolic model checking
automated verification
decision support
bounded model checking
databases
e learning
model checker