Analysing Concurrent Systems Using the Concurrency Workbench

Authors:
Rance Cleaveland
Affiliations:
-
Venue:
Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada
Year:
1993

Citing 0
Cited 3

Reasoning about rings

POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Utilizing symmetry when model-checking under fairness assumptions: an automata-theoretic approach

ACM Transactions on Programming Languages and Systems (TOPLAS)
On-the-Fly Model Checking Under Fairness that Exploits Symmetry

Formal Methods in System Design

Quantified Score

Hi-index	0.00

Visualization

Abstract