Interactive playground for exploring and sharing TLA+ specifications in the browser.
-
Updated
Aug 8, 2025 - JavaScript
#
formal-methods
Here are 9 public repositories matching this topic...
An automated prover targeting problems that involve nonlinear real arithmetic.
haskell library math theorem-proving mathematics verification formal-methods maths program mpl theorem-prover automatic-theorem-proving
-
Updated
Dec 6, 2023 - JavaScript
An attempt to apply formal methods (D. Gries style) to specification and verification of code-writting tasks for CS students.
nodejs javascript antlr4 formal-methods simplify formal-verification student-project weakest-preconditions
-
Updated
Jan 20, 2018 - JavaScript
machine-learning reinforcement-learning ai lab artificial-intelligence formal-methods formal-verification decision-making-under-uncertainty
-
Updated
Jul 24, 2025 - JavaScript
Verified code written in the Dafny programming language.
-
Updated
Feb 12, 2017 - JavaScript
-
Updated
Jun 17, 2025 - JavaScript
A Web-based tool that helps analyze the correctness and equivalence of programs using formal methods.
react static-analysis wasm symbolic-execution z3 formal-methods pegjs smt program-verification vite equivalence-checking
-
Updated
Jun 24, 2025 - JavaScript
A CLI tool that processes @pre, @post, and @invariant tags in functions, classes, and methods within a source file. It generates a modified version of the source code that automatically validates input conditions (@pre), result conditions (@post), and invariant conditions (@invariant).
static-analysis developer-tools software-engineering formal-methods program-verification automated-testing debugging-tools secure-coding design-by-contract runtime-verification source-code-analysis cli-tool runtime-analysis code-instrumentation source-code-modification programming-language-tools contracts-validation preconditions-postconditions invariants-checking verification-framework
-
Updated
Jun 14, 2025 - JavaScript
Improve this page
Add a description, image, and links to the formal-methods topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the formal-methods topic, visit your repo's landing page and select "manage topics."