greatspn / SOURCES
Main repository of the GreatSPN framework
☆43Updated last week
Alternatives and similar repositories for SOURCES:
Users that are interested in SOURCES are comparing it to the libraries listed below
- A multi-formalism, multi-solution model-checker centered on the language GAL☆23Updated last week
- Repository for the HARDENS project☆21Updated 2 months ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆34Updated last year
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆92Updated this week
- Specify and synthesize systems using symbolic algorithms☆47Updated 4 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 8 months ago
- The LTSmin model checking toolset☆57Updated 4 months ago
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- Pedagogical first-order prover in Python☆75Updated last week
- Multi-core Decision Diagram (BDD/LDD) implementation☆42Updated last year
- Language bindings for Maude☆21Updated 2 months ago
- Implementation of multi-core (binary) decision diagrams☆71Updated 9 months 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
- SMPT is a SMT-based model checker for Petri nets focused on reachability problems that takes advantage of net reductions (polyhedral redu…☆27Updated last year
- Differentiable probabilistic answer set programming☆18Updated 3 months ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆48Updated last year
- Synthesis Format Conversion Tool☆24Updated 6 months ago
- The People's Verification System☆145Updated last week
- A collection of tools for generating, manipulating and - most of all - solving parity games.☆35Updated 6 months ago
- ☆16Updated 2 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆69Updated this week
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 2 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆45Updated 2 weeks ago
- A Modern Probabilistic Model Checker☆144Updated this week
- Modeling and Programming with Gecode☆45Updated 2 years ago
- High-Level Nets Blaster for the Model-Checking Contest☆10Updated 3 months ago
- Concurrent decision diagram framework written in Rust☆57Updated last week
- ☆50Updated this week
- Multi-terminal and Edge-valued Decision Diagram LibrarY☆14Updated last month