Modularity for decidability of deductive verification with applications to distributed systems.
Marcelo TaubeGiuliano LosaKenneth L. McMillanOded PadonMooly SagivSharon ShohamJames R. WilcoxDoug WoosPublished in: PLDI (2018)
Keyphrases
- distributed systems
- concurrent systems
- fault tolerant
- fault tolerance
- load balancing
- high assurance
- mobile agents
- description logics
- distributed computing
- geographically distributed
- distributed environment
- operating system
- model checking
- object oriented
- message passing
- query answering
- deadlock detection
- mobile computing
- real time systems
- data replication
- query processing
- knowledge representation
- agent based systems
- loosely coupled
- security policies
- agent technology
- software development