Using partial orders for the efficient verification of deadlock freedom and safety properties

Overview of attention for article published in Formal Methods in System Design, April 1993

Altmetric Badge

Mentioned by

patent: 1 patent

Citations

dimensions_citation: 96 Dimensions

Readers on

mendeley: 30 Mendeley

Summary Patents Dimensions citations

So far, Altmetric has seen 1 patent that references this research output.

On-the-fly model checking with partial-order state space reduction

Grant US-5615137-A

United States of America