A Scaleable and Modular Approach to Verification of ATM Switching System Using Reverse Specification.

Chang-shin Chung, Moon-kun Lee, Myung-sun Jeong

Browse the full APSEC paper archive.