gemoc / gemoc-studio-old
☆12Updated 5 years ago
Related projects: ⓘ
- An efficient graph solver for generating well-formed models☆26Updated 2 years ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆12Updated 2 years ago
- SMTInterpol interpolating SMT solver☆59Updated 2 months ago
- gemoc-studio☆24Updated last week
- DSLs for modeling and analyzing farming systems☆11Updated 7 years ago
- The Melange Language Workbench☆28Updated last year
- Language bindings for Maude☆17Updated 5 months ago
- Full-fledged industrial environment for scientific computing and High Performance Computing☆17Updated last year
- The Train Benchmark framework for evaluating incremental model validation performance☆11Updated last year
- An abstract-interpretation based static analyzer written in Scala.☆33Updated 2 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆34Updated 7 months ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 2 years ago
- Kodkod solver for relational logic☆72Updated last year
- Multi-core Decision Diagram (BDD/LDD) implementation☆41Updated 10 months ago
- Library for symbolic automata and symbolic visibly pushdown automata☆62Updated 10 months ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆47Updated this week
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated 9 months ago
- The LTSmin model checking toolset☆52Updated 6 months ago
- 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 collection of tools for generating, manipulating and - most of all - solving parity games.☆34Updated last month
- Build system for Z3 that creates a self-unpacking, standalone JAR file that ships all required native support code and automatically unpa…☆32Updated 2 months ago
- AE-solver and Skolemizer☆16Updated 10 months ago
- ☆11Updated this week
- A multi-formalism, multi-solution model-checker centered on the language GAL☆21Updated 2 months ago
- The Standard Interface for Incremental Satisfiability Solving☆47Updated 2 years ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated last year
- ☆52Updated 3 weeks ago
- Linearizability Visualizer☆10Updated 9 years ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆9Updated 9 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆31Updated last year