Verification of distributed systems involving bounded-time migration.
Bogdan AmanGabriel CiobanuPublished in: Int. J. Crit. Comput. Based Syst. (2017)
Keyphrases
- distributed systems
- concurrent systems
- load balancing
- distributed environment
- fault tolerance
- fault tolerant
- message passing
- distributed computing
- high assurance
- operating system
- model checking
- distributed database systems
- deadlock detection
- data replication
- geographically distributed
- artificial intelligence
- real time systems
- high availability
- mobile computing
- case study
- databases
- software development environments