Design and verification of communication procedures: A bottom-up approach

Authors:
P. Azema;J. M. Ayache;B. Berthomieu
Affiliations:
-;-;-
Venue:
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Year:
1978

Citing 5
Cited 4

Petri Nets

ACM Computing Surveys (CSUR)
Formal verification of parallel programs

Communications of the ACM
Petri nets as a common tool for design verification and hardware simulation

DAC '76 Proceedings of the 13th Design Automation Conference
On the modelling, analysis and design of protocols - a special class of software structures

ICSE '76 Proceedings of the 2nd international conference on Software engineering
DECIDABILITY QUESTIONS FOR PETRI NETS

DECIDABILITY QUESTIONS FOR PETRI NETS

Specification and verification of distributed systems using prolog interpreted petri nets.

ICSE '84 Proceedings of the 7th international conference on Software engineering
Interactive software development tool: ISDT

ICSE '81 Proceedings of the 5th international conference on Software engineering
Modeling and Verification of Communication Protocols in Sara: The X.21 Interface

IEEE Transactions on Computers
Petri Net Tools For The Analysis Of Collaborative Tasks

Journal of Integrated Design & Process Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

The verification of functional specifications is performed by means of a formal model, based upon Petri nets. A so-called "reduction" operation is introduced to handle the concept of abstraction. A bottom-up approach is developped in the case of communication between two processors. The definition of software modules is emphasized.