Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking

Overview of attention for article published in International Journal on Software Tools for Technology Transfer, August 2003

Altmetric Badge

About this Attention Score

Among the highest-scoring outputs from this source (#17 of 111)

Mentioned by

patent: 1 patent

Citations

dimensions_citation: 17 Dimensions

Readers on

mendeley: 5 Mendeley

Summary Patents Dimensions citations

So far, Dimensions has found 17 publications that cite this research output.

17

The most recent citing publications are shown below. View all 17 publications that cite this research output on Dimensions.

Integer Linear Programming-Based Property Checking for Asynchronous Reactive Systems

Article in IEEE Transactions on Software Engineering (January 2013)

Deterministic Compilation of Temporal Safety Properties in Explicit State Model Checking

Book chapter (January 2013)

Model checking Trampoline OS: a case study on safety analysis for automotive software

Article in Software Testing Verification and Reliability (August 2012)