VALID-2: A Practical Modeling, Simulation and Verification Software for Distributed Systems.
Mohamed Larbi RebaiaiaJihad Mohamad JaamPublished in: IPDPS (2004)
Keyphrases
- distributed systems
- concurrent systems
- software architecture
- fault tolerant
- high assurance
- real time systems
- distributed environment
- colored petri nets
- fault tolerance
- geographically distributed
- distributed computing
- message passing
- load balancing
- mobile agents
- agent based systems
- simulation environment
- modeling language
- software development environments
- software systems
- operating system
- computer systems
- petri net
- source code
- deadlock detection
- data replication
- open source
- security policies
- model checking
- data availability
- dynamic environments
- real time