Subject
Hardware and Architecture,Information Systems,Software
Reference35 articles.
1. PROTEAN: A High-level Petri Net Tool for the Specification and Verification of Communication Protocols;Billington;IEEE Transaction on Software Engineering,1988
2. Using Partial Orders for Efficient Verification of Deadlock Freedom and Safety Properties;Godefroid,1992
3. Maximal Progress State Exploration;Gouda;Computer Communication Review,1983
4. Closed Covers: To Verify Progress of Communicating Finite State Machines;Gouda;IEEE Trans. on Software Engineering,1984
5. Protocol Validation By Fair Progress State Exploration;Gouda;Computer Networks and ISDN Systems,1985