cat

README.md — what this module is

Mirrored from subprojects/xcfa/cat/README.md — edit it there, not here.

Overview

Cat language

Further reading

• Handling axiomatic memory models in abstraction-based model checking of concurrent and distributed systems (MSc, 2022) — memory modelling for weakly ordered memory models, extended to message-based communication protocols.
• Reasoning with Happens-Before Relations About Concurrent Programs in the THETA Framework (VERDI 2025) — bounded model checking approaches reasoning with happens-before relations (implemented in common/analysis's algorithm/oc).
• On Stability in a Happens-Before Propagator for Concurrent Programs (Reproducibility Study) (TACAS 2025) — a correctness issue in the published happens-before propagator algorithm, and a revised version.

The full publication list is at theta.mit.bme.hu/publications.