Specification and Verification of Distributed Systems.
Deni RacoPublished in: Joint Workshop of the German Research Training Groups in Computer Science (2014)
Keyphrases
- distributed systems
- concurrent systems
- formal verification
- asynchronous circuits
- model checking
- distributed environment
- protocol specification
- formal methods
- geographically distributed
- distributed database systems
- fault tolerant
- load balancing
- message passing
- fault tolerance
- formal specification
- distributed computing
- high assurance
- operating system
- deadlock detection
- real time systems
- specification language
- data replication
- modular robots
- case study
- loosely coupled
- business process
- agent based systems
- mobile agent system
- service oriented
- distributed databases
- software engineering
- artificial intelligence
- software development environments