Specification-Based Testing for Real-Time Reactive Systems.
Vangalur S. AlagarOlga OrmandjievaMao ZhengPublished in: TOOLS (34) (2000)
Keyphrases
- reactive systems
- real time
- real time systems
- model checking
- temporal logic
- petri net
- information flow
- formal methods
- control flow
- transition systems
- state machines
- formal verification
- software testing
- distributed systems
- control system
- case study
- test cases
- formal specification
- error rate
- object oriented
- artificial intelligence