Verification of Fixed-Topology Declarative Distributed Systems with External Data.
Diego CalvaneseMarco MontaliJorge LoboPublished in: AMW (2018)
Keyphrases
- distributed systems
- external data
- concurrent systems
- data modeling
- data warehouse
- fault tolerant
- geographically distributed
- message passing
- distributed environment
- fault tolerance
- database technology
- high assurance
- metadata
- database schema
- knowledge representation
- model checking
- mobile agents
- deadlock detection
- unstructured data
- knowledge discovery