Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems.
Sara MohammadinejadJyotirmoy V. DeshmukhLaura NenziPublished in: ATVA (2021)
Keyphrases
- distributed systems
- temporal logic
- concurrent systems
- model checking
- load balancing
- modal logic
- fault tolerant
- satisfiability problem
- distributed environment
- geographically distributed
- temporal properties
- fault tolerance
- transition systems
- mobile agents
- belief revision
- distributed database systems
- deadlock detection
- distributed computing
- verification method
- linear temporal logic
- mazurkiewicz traces
- replicated data
- temporal knowledge
- dynamic constraints
- bounded model checking
- computation tree logic
- reactive systems
- data model
- temporally extended goals