Mining Interpretable Spatio-temporal Logic Properties for Spatially Distributed Systems.
Sara MohammadinejadJyotirmoy V. DeshmukhLaura NenziPublished in: CoRR (2021)
Keyphrases
- distributed systems
- temporal logic
- concurrent systems
- model checking
- temporal properties
- fault tolerant
- distributed environment
- modal logic
- fault tolerance
- distributed computing
- transition systems
- load balancing
- satisfiability problem
- computation tree logic
- geographically distributed
- distributed database systems
- mobile agents
- mazurkiewicz traces
- real time systems
- mobile agent system
- linear temporal logic
- reactive systems
- temporal knowledge
- data replication
- formal specification
- formal specification language
- belief revision