Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems.
Morten Krogh-JespersenAmin TimanyMarit Edna OhlenbuschSimon Oddershede GregersenLars BirkedalPublished in: ESOP (2020)
Keyphrases
- distributed systems
- formal theory
- fault tolerant
- fault tolerance
- modal operators
- distributed environment
- derivation rules
- message passing
- load balancing
- geographically distributed
- mobile agents
- real time systems
- logic programming
- modal logic
- distributed database systems
- real time
- operating system
- concurrent systems
- modular robots
- security policies
- databases
- data replication
- database systems
- multi agent
- description logics