The language dynamic-real and its application for verification of SDL-specified distributed systems.
Valery A. NepomniaschyEvgeny V. BodinS. O. VeretnovPublished in: Program. Comput. Softw. (2015)
Keyphrases
- distributed systems
- concurrent systems
- fault tolerant
- distributed environment
- load balancing
- fault tolerance
- geographically distributed
- mobile agents
- distributed computing
- distributed database systems
- dynamic environments
- message passing
- loosely coupled
- programming language
- operating system
- replicated data
- high assurance
- deadlock detection
- real time systems
- model checking
- natural language
- security policies
- data replication
- web services
- artificial intelligence