iscar-ucm / xdevsLinks
xDEVS: A cross-platform Discrete EVent System simulator
☆11Updated last year
Alternatives and similar repositories for xdevs
Users that are interested in xdevs are comparing it to the libraries listed below
Sorting:
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆102Updated 2 years ago
- Parallel SAT Solver☆10Updated 7 years ago
- Strix is a tool for reactive synthesis of controllers from LTL specifications.☆22Updated 2 years ago
- Simple SAT solver with CDCL implemented in Python☆18Updated 2 years ago
- ☆15Updated 4 years ago
- ☆15Updated 2 years ago
- The Basil pipeline for concurrent information flow analysis in AArch64 binaries.☆13Updated last week
- Repository of benchmarks for SYNTCOMP☆13Updated 3 months ago
- ☆14Updated 7 years ago
- A Python library for learning and verification of neural networks and other machine learning models☆11Updated last month
- Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…☆20Updated last year
- Automated Controller Synthesis☆15Updated 7 years ago
- A hardware model checker for hyperproperties☆18Updated last year
- A Formal Method playground for limboole, Z3, nuXmv, Alloy, and Spectra☆15Updated 3 weeks ago
- The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking…☆11Updated 5 months ago
- ☆15Updated 2 years ago
- Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks☆13Updated 3 years ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆16Updated 10 months ago
- Implementation of local search-based algorithms for solving SAT and Max-SAT in Python☆13Updated 4 years ago
- Intrepyd Model Checker☆18Updated 3 years ago
- Logic Synthesis and Verification: Programming Assignments☆13Updated 8 months ago
- Python version of tools to work with AIG formatted files☆12Updated 3 months ago
- A model-based API Fuzzer for SMT Solvers.☆14Updated this week
- Simulus - A Discrete-Event Simulator in Python☆12Updated 9 months ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆14Updated 3 years ago
- BuDDy BDD package (with CMake support)☆13Updated last year
- Synthesis Format Conversion Tool☆25Updated 4 months ago
- ☆10Updated 3 years ago
- Demonstrating the usage of FGYM: A Toolkit for benchmarking FPGA-accelerated Reinforcement Learning☆13Updated 4 years ago
- Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)☆17Updated 2 years ago