Login / Signup
Predator: A Verification Tool for Programs with Dynamic Linked Data Structures - (Competition Contribution).
Kamil Dudka
Petr Müller
Petr Peringer
Tomás Vojnar
Published in:
TACAS (2012)
Keyphrases
</>
linked data
semantic web
linked open data
semantic data
structured data
open data
data integration
model checking
data sources
information systems
case study
structured information
ontology development
scientific publications
open innovation