History-Based Specification and Verification of Scalable Concurrent and Distributed Systems.
Crystal Chang DinSilvia Lizeth Tapia TarifaReiner HähnleEinar Broch JohnsenPublished in: ICFEM (2015)
Keyphrases
- distributed systems
- concurrent systems
- formal verification
- asynchronous circuits
- distributed environment
- load balancing
- fault tolerant
- formal methods
- fault tolerance
- geographically distributed
- model checking
- protocol specification
- hybrid automata
- distributed database systems
- message passing
- formal specification
- mobile agents
- high assurance
- real time systems
- distributed computing
- data replication
- agent based systems
- replicated data
- operating system
- databases
- loosely coupled
- security policies
- temporal logic
- deadlock detection
- case study