Specification-based Testing of Concurrent Systems.
Andreas UlrichHartmut KönigPublished in: FORTE (1997)
Keyphrases
- concurrent systems
- transition systems
- formal specification
- process algebra
- model checking
- temporal logic
- formal verification
- distributed systems
- software testing
- petri net
- test case generation
- formal methods
- specification language
- test cases
- high level
- asynchronous circuits
- databases
- control flow
- code generation
- reactive systems
- test set
- database systems