IEEE Transactions on Software Engineering - Special issue on COMPSAC 1982 and 1983
Interactive State-Space Analysis of Concurrent Systems
IEEE Transactions on Software Engineering
Automated Analysis of Discrete Communication Behavior
IEEE Transactions on Software Engineering
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Foreword: Special Issue on Tools for Computer Communication Systems
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Automated Protocol Implementation with RTAG
IEEE Transactions on Software Engineering
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
Computer-aided analysis of concurrent systems
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
Proceedings of the IFIP WG6.1 Fifth International Conference on Protocol Specification, Testing and Verification V
Protocol analysis using numerical Petri nets
Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets-selected papers
An Application of Formal Analysis to Software in a Fault-Tolerant Environment
IEEE Transactions on Computers
Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis
IEEE Transactions on Software Engineering
Extended Timed Petri Nets for Distributed Multimedia Presentations
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Design and validation of a message-passing system
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Bisimulation conversion and verification procedure for goal-based control systems
Formal Methods in System Design
| Hi-index | 0.01 |
An approach for automated modeling and verification of communication protocols is presented. A language that specifies the input/output behavior of protocol entities is introduced as the starting point of the approach, and verification of the linguistic specifications is discussed. Rules for conversion of the specifications into a Petri net model (based on a timed Petri net) are presented and illustrated by examples. This leads to a second level of verification on the net model. The approach is illustrated by its application to a part of the LAPD protocol.