beckus / AlloyAnalyzer
An unofficial copy of MIT's Alloy Analyzer model checking tool.
☆20Updated 11 years ago
Alternatives and similar repositories for AlloyAnalyzer:
Users that are interested in AlloyAnalyzer are comparing it to the libraries listed below
- jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to ma…☆26Updated 2 years ago
- a CIL-based dynamic symbolic execution (DSE) engine for C language☆10Updated 10 years ago
- Java Concolic Unit Testing Engine☆88Updated 10 years ago
- ☆51Updated 9 years ago
- Test and benchmark repository for Z3.☆26Updated 2 months ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆52Updated this week
- PC-miner tool for program chairs☆27Updated last week
- custom type systems for Clang☆97Updated 9 years ago
- The Cloud9 main repository☆52Updated 11 years ago
- Static Analyzer and Verifier☆47Updated 5 months ago
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆30Updated 9 years ago
- A library for analyzing LLVM bitcode in Haskell☆43Updated 10 years ago
- Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automat…☆37Updated 7 months ago
- A fuzzy parser for C/C++ that creates semantic code property graphs☆36Updated 4 years ago
- Library wrapper and system-level tracing utilities☆46Updated 8 years ago
- Accmut is a framework for acclerating mutation testing, which is based on LLVM-IR.☆11Updated 7 years ago
- A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…☆69Updated 8 years ago
- A tool for analyzing LLVM bitcode using Datalog.☆100Updated 4 years ago
- The LTSmin model checking toolset☆57Updated 5 months ago
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago
- Main distribution of Petablox☆35Updated 7 years ago
- Map2Check: Finding Software Vulnerabilities☆28Updated 4 years ago
- Interprocedural Distributive Environment algorithm implementation☆16Updated 9 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 3 years ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆20Updated 3 years ago
- RV-Monitor core system code☆16Updated 3 years ago
- Static Slicer for LLVM☆66Updated 9 years ago
- The semantics of Java in K☆19Updated 3 years ago
- ☆71Updated 7 years ago
- DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…☆21Updated 4 years ago