An experiment with the use of predicate transformers in UNITY

Authors:
Rutger M. Dijkstra
Affiliations:
-
Venue:
Information Processing Letters
Year:
1995

Citing 0
Cited 3

A formal approach for the development of reactive systems

Information and Software Technology
Combining formal methods for the development of reactive systems

International Journal of Computer Applications in Technology
Combining Formal Methods for the Development of Reactive Systems

ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems

Quantified Score

Hi-index	0.89

Visualization

Abstract