Extended abstract: formal verification of architectural patterns in support of dependable distributed systems.
Ralph D. JeffordsRamesh BharadwajPublished in: MEMOCODE (2005)
Keyphrases
- distributed systems
- extended abstract
- formal verification
- fault tolerant
- software architecture
- software development environments
- load balancing
- distributed environment
- fault tolerance
- message passing
- geographically distributed
- model checking
- operating system
- concurrent systems
- mobile agents
- distributed computing
- real time systems
- model checker
- artificial intelligence
- data replication
- security policies
- software engineering
- mobile agent system
- loosely coupled