Formal methods integration for the specification of dependable distributed systems.
Nicola MazzoccaStefano RussoValeria VittoriniPublished in: J. Syst. Archit. (1997)
Keyphrases
- distributed systems
- formal methods
- fault tolerant
- safety critical
- formal specification
- provably correct
- model checking
- knowledge based systems
- load balancing
- distributed computing
- distributed environment
- process algebra
- fault tolerance
- reactive systems
- software engineering
- real time systems
- geographically distributed
- protocol specification
- software development environments
- development lifecycle
- artificial intelligence
- loosely coupled
- software architecture
- mobile agents
- modeling language
- concurrent systems
- data availability
- security policies
- data access
- databases