Formal validation of a high performance error control protocol using SPIN

Authors:
Toong Shoon Chan;Ian Gorton
Affiliations:
-;-
Venue:
Software—Practice & Experience
Year:
1996

Citing 0
Cited 2

The Model Checker SPIN

IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Study of the characteristics of CT-Equivalence with proves

Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science, Software Engineering, Information Technology, e-Business, and Applications, 2004

Quantified Score

Hi-index	0.00

Visualization

Abstract