AutomataDotNet / Automata
Automata and transducer library for .NET
☆79Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for Automata
- solver for the reachability modulo theories problem☆58Updated last year
- A performant and ergonomic implementation of binary decision diagrams for .NET☆54Updated last year
- Kodkod solver for relational logic☆74Updated last year
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆34Updated 9 months ago
- An automated deductive program verifier.☆39Updated last year
- The VerCors verification toolset for verifying parallel and concurrent software☆56Updated this week
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆48Updated 4 years ago
- High-performance .NET regex engine with predictable performance☆45Updated last year
- SMTInterpol interpolating SMT solver☆61Updated 4 months ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated last month
- Library for symbolic automata and symbolic visibly pushdown automata☆63Updated last year
- Uncertainty is a C# library that uses LINQ to let developers easily express probabilistic computations and then inference over those comp…☆33Updated 8 years ago
- create call graphs for .NET projects using the Roslyn infrastructure for parsing .NET bytecode☆12Updated 7 years ago
- A model checker for infinite-state systems.☆69Updated 3 years ago
- Experiments with higher-kinded types and object algebras in C#☆35Updated 4 years ago
- Static analysis of MSIL based on the analysis-net infrastructure☆19Updated 2 years ago
- The Ynot Project source code.☆21Updated 10 years ago
- DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.☆49Updated 7 years ago
- PC-miner tool for program chairs☆24Updated 3 weeks ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 6 years ago
- Translate java jar files into Boogie programs☆12Updated 7 months ago
- Generates loop invariants for program verification☆58Updated 3 years ago
- A static verifier for concurrent C programs☆128Updated 3 years ago
- Boogie☆514Updated this week
- A Datalog compiler and library☆19Updated 3 years ago
- Platform for parser generators and other grammarware research and development. GLL, RNGLR, graph parsing algorithms, and many others are …☆40Updated 5 years ago
- Microsoft Static Driver Verifier Benchmarks☆14Updated 7 years ago
- TriCera: a model checker for C programs☆18Updated last week
- VATA Tree Automata Library☆32Updated 3 months ago
- Auxiliary repository used to store pre-compiled binary distribution packages of Z3.☆17Updated 5 years ago