Scalable compositional verification of high-level real-time concurrent systems from 107 to 1085 states.
Farn WangPublished in: RTCSA (1996)
Keyphrases
- concurrent systems
- real time
- high level
- temporal logic
- distributed systems
- model checking
- formal specification
- process algebra
- petri net
- transition systems
- low level
- highly scalable
- artificial intelligence
- control system
- higher level
- high speed
- finite state machines
- low cost
- lightweight
- vision system
- low latency
- formal verification
- low level features
- real time systems
- model checker
- verification method
- semantic information