Specifying linked data structures in JML for combining formal verification and testing.
Christoph GladischShmuel S. TyszberowiczPublished in: Sci. Comput. Program. (2015)
Keyphrases
- formal verification
- linked data
- model checking
- linked open data
- semantic web
- semantic data
- open data
- bounded model checking
- structured data
- symbolic model checking
- automated verification
- model checker
- data sources
- rdf data
- structured information
- using semantic web technologies
- data integration
- temporal logic
- data publishing
- semantic search
- open innovation
- databases
- open government data
- ontology development
- mashup
- expert systems
- case study
- machine learning
- data mining