The Eldarica model checker
-
Updated
Dec 17, 2024 - Scala
#
smt2
Here are 12 public repositories matching this topic...
A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra
z3 formal-methods alloy sat-solver spectra smt2 smt-solver smv nuxmv alloy-analyzer limboole spectra-synthesizer syntech
-
Updated
Dec 27, 2024 - TypeScript
In this project, we have automated the synthesis of loop invariants for a for a very small programming language. It converts SMT-Lib files into SMT2
-
Updated
Dec 7, 2021 - OCaml
Semantic-Based Worst Case Execution Time of Loop-Free C Programs using Optimization Modulo Theory
-
Updated
Feb 17, 2017 - Shell
Explorations in Uniform Sampling of SMT2 Constraints
-
Updated
Oct 5, 2023 - Python
Analysis of Formal Specifications SAT, SMT, Alloy, NuSMV.
-
Updated
Jul 3, 2024 - Java
Improve this page
Add a description, image, and links to the smt2 topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the smt2 topic, visit your repo's landing page and select "manage topics."