Theses and Dissertations
Now showing items 1-1 of 1
Automated network protocol reachability analysis with supertrace algorithm and TESTGEN : automated generation of test sequence for a formal protocol specification
(Monterey, California. Naval Postgraduate School, 1994-03)
The automation of reachability analysis is an important step in verification of network protocols. The memory size needed for the full state analysis of complex protocols is usually very large and not available on most of ...