Conformance Testing of Distributed Concurrent Systems with Executable Designs.
Bernhard K. AichernigAndreas GriesmayerEinar Broch JohnsenRudolf SchlatteAndries StamPublished in: FMCO (2008)
Keyphrases
- concurrent systems
- distributed systems
- process algebra
- formal specification
- temporal logic
- model checking
- fault tolerant
- distributed environment
- cooperative
- petri net
- distributed data
- transition systems
- lightweight
- mobile agents
- test cases
- peer to peer
- distributed network
- multi agent
- computer networks
- building blocks
- formal verification
- case study
- data sets