freshcrate

Search results for "temporal-logic"

Clear filters
1 result found (Rust)
tlaiser📁main@2026-04-17🌱 Seedling⭐1

Extract state machines from code and model-check with TLA+/PlusCal

code-generationformal-methodshyperpolymathidris2isermodel-checkingpalimpsestrusttemporal-logicby hyperpolymathRust