A Scaleable and Modular Approach to Verification of ATM Switching System Using Reverse Specification.
Chang-shin ChungMoon-kun LeeMyung-sun JeongPublished in: APSEC (1998)
Keyphrases
- formal verification
- asynchronous circuits
- formal methods
- protocol specification
- model checking
- atm networks
- colored petri nets
- modular structure
- highly modular
- specification language
- high level
- priority scheduling
- formal specification
- face verification
- concurrent systems
- petri net
- data mining
- data sets
- air traffic management
- highly flexible
- formal analysis
- response time
- search engine
- databases