Formal Verification of Data Provenance Records.
Szymon KlarmanStefan SchlobachLuciano SerafiniPublished in: ISWC (1) (2012)
Keyphrases
- formal verification
- data provenance
- fine grained
- databases
- conceptual modeling
- data sharing
- model checking
- metadata
- scientific data
- relational databases
- scientific workflows
- model checker
- bounded model checking
- automated verification
- provenance information
- database
- symbolic model checking
- coarse grained
- data management
- knowledge base
- information sharing