Automatic verification of properties in transition systems

Authors:
A. Arnold;S. Brlek
Affiliations:
-;-
Venue:
Software—Practice & Experience
Year:
1995

Citing 0
Cited 1

Modular Verification for a Class of PLTL Properties

IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract