LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Rust

specl

A modern specification language and model checker for concurrent and distributed systems. Faster than TLA+/TLC.

RustEmergingconcurrent-systemsdistributed-systemsformal-verificationmodel-checking

Stars

23

Forks

—

Contributors

1

Last push

3mo ago

Recent commits

Latest commits.

claude: refactor: remove dead line_starts field in LSP, use tracing in symmetry warnings
8db9ededanwt3mo ago
claude: test(soundness): add 8 tests for POR/symmetry correctness gaps
1942029danwt3mo ago
claude: fix(mc): add missing C3' cycle proviso to sequential BFS (soundness)
7dd7e44danwt3mo ago
claude: test(soundness): add POR violation, symmetry relational, and init order tests
be324f2danwt3mo ago
claude: fix(mc): fix order-dependent init assignment extraction (soundness)
8f750bcdanwt3mo ago

claude: test(cli): add 54 integration tests for CLI commands and flags

b260966danwt3mo ago

claude: refactor(tla): error on unsupported operators, remove stale test expectations

36db26edanwt3mo ago

claude: perf(mc): optimize state canonicalization and add State size assertion

36c9ec7danwt3mo ago

Top contributors

Builders behind this project.