940b959efb
Some checks failed
Deploy Landing Page to Storj / deploy (push) Failing after 2s
Comprehensive comparison of SpeckDL against: - TLA+/PlusCal (model checking vs. runtime compilation) - Alloy (structural vs. behavioral modeling) - Coq/Rocq (static proofs vs. dynamic enforcement) - Dafny (verified code vs. spec-as-code) - Event-B, UML/SysML, P (Microsoft), OpenAPI/gRPC - SBOM tools: Syft/Grype, SLSA, in-toto Includes positioning table across 7 tools on 6 dimensions. Defines niche: specification language with compiler-level provenance, designed for teams that need evidence of correctness more than proof. |
||
|---|---|---|
| .. | ||
| diagrams | ||
| whitepapers | ||
| show-hn-announcement.md | ||
| speckl-by-example.md | ||
| strategy.md | ||
| whitepaper-v2.md | ||
| whitepaper.md | ||