T2 Temporal Prover
☆97Feb 12, 2018Updated 8 years ago
Alternatives and similar repositories for T2
Users that are interested in T2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- QUICr parametric abstract domain for sets☆13Jul 2, 2015Updated 11 years ago
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆269Updated this week
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 9 years ago
- KITTeL/KoAT☆21Dec 19, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Label dependent dependent session types☆16May 2, 2024Updated 2 years ago
- A tool for translating imperative programs to CSP.☆13Feb 7, 2017Updated 9 years ago
- BoSy is a reactive synthesis tool based on constraint-solving☆22Aug 3, 2023Updated 3 years ago
- Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.☆15Feb 9, 2016Updated 10 years ago
- A prototype SMT-solver for the theory of bit-vectors and uninterpreted functions.☆10Dec 10, 2023Updated 2 years ago
- ☆23Jun 12, 2023Updated 3 years ago
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Sep 24, 2022Updated 4 years ago
- sparse matrices in Morton order☆24Aug 9, 2015Updated 11 years ago
- A toy nanopass compiler for x86 written in lean☆15Oct 25, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Type-level assertion operators☆16Mar 20, 2018Updated 8 years ago
- llvm2KITTeL☆19Feb 16, 2017Updated 9 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Nov 18, 2019Updated 6 years ago
- Using Haskell's type system to guarantee commutativity.☆17Aug 1, 2013Updated 13 years ago
- an experiment in presenting code.☆14Aug 11, 2020Updated 6 years ago
- Deploying Haskell to Lattice iCE40 using fully open source toolchain☆14May 22, 2016Updated 10 years ago
- ☆17Jul 23, 2022Updated 4 years ago
- A language-integrated proof assistant, for and in Racket☆39Aug 26, 2016Updated 10 years ago
- ☆21May 11, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- The Ultimate program analysis framework.☆250Updated this week
- Tentative write-up of a neat trick used in the Mezzo type-checker☆15Nov 27, 2015Updated 10 years ago
- A collection of proofs for some idris class instances - NOT MAINTAINED☆18May 14, 2015Updated 11 years ago
- ☆49Mar 29, 2021Updated 5 years ago
- Double ratchet algorithm for E2E encryption☆60Nov 22, 2018Updated 7 years ago
- Kodkod solver for relational logic☆91Jul 4, 2023Updated 3 years ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- ☆10Aug 18, 2025Updated last year
- Collection of Verification Tasks (MOVED, please follow the link)☆192Oct 28, 2021Updated 5 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆13Updated this week
- Automatic type class law checking.☆24May 2, 2026Updated 6 months ago
- Some programs from Rustan Leino's "Program Proofs", in Why3.☆17Mar 13, 2023Updated 3 years ago
- Flowcaml compiler☆18Apr 11, 2013Updated 13 years ago
- ☆16Nov 22, 2025Updated 11 months ago
- Static Analyzer and Verifier☆54Oct 12, 2024Updated 2 years ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago