Skip to main content
Link
Menu
Expand
(external link)
Document
Search
Copy
Copied
libcmc
Home
Guide
Install and build
Your first model
Using libcmc in your project
Reference
Design
cmc(1)
libcmc(3)
cmc(7)
The model file
The abstract model (.cml)
Plan: TLA+ scope over the shipped code
Examples
Why libcmc
When libcmc fits
Search libcmc
Source (Codeberg)
Mirror (GitHub)
Guide
From a clone to a checked model, then into your own project.
---
Read these in order the first time.
Install and build
Your first model
Using libcmc in your project
Table of contents
Install and build
Your first model
Using libcmc in your project