Yet Another Application for Topie: Verification of Mutual Exclusion Algorithms

Authors:
Marc-Michel Corsini;Alain Griffault;Antoine Rauzy
Affiliations:
-;-;-
Venue:
LPAR '93 Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning
Year:
1993

Citing 0
Cited 2

Toupie: The µ-calculus over Finite Domains as a Constraint Language

Journal of Automated Reasoning
An Efficient Algorithm to Compute the Synchronized Product

MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract