Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue.
Hernán Ponce de LeónStefan HaarDelphine LonguetPublished in: ICTAC (2014)
Keyphrases
- concurrent systems
- distributed systems
- process algebra
- distributed environment
- temporal logic
- model checking
- formal specification
- transition systems
- multi agent
- mobile agents
- petri net
- cooperative
- lightweight
- search and rescue
- test cases
- computer networks
- feature vectors
- multi robot
- artificial intelligence
- neural network