Application of formal verification and behaviour abstraction to the service interaction problem in intelligent networks

Authors:
Ulrich Nitsche
Affiliations:
-
Venue:
Journal of Systems and Software - Special issue on formal methods technology transfer
Year:
1998

Citing 0
Cited 1

Computing property-preserving behaviour abstractions from trace reductions: abstraction-based verification of linear-time properties under fairness

Proceedings of the twentieth annual ACM symposium on Principles of distributed computing

Quantified Score

Hi-index	0.00

Visualization

Abstract