Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints.
Ana R. CavalliEdgardo Montes de OcaWissam MallouliMounir LallaliPublished in: DS-RT (2008)
Keyphrases
- distributed systems
- fault tolerant
- fault tolerance
- geographically distributed
- agent based systems
- load balancing
- distributed computing
- message passing
- distributed environment
- formal methods
- real time systems
- loosely coupled
- mobile agents
- data replication
- operating system
- real time
- concurrent systems
- temporal logic
- mobile computing
- deadlock detection