iscar-ucm / xdevs
xDEVS: A cross-platform Discrete EVent System simulator
☆11Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for xdevs
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage incre…☆102Updated last year
- Implementation of local search-based algorithms for solving SAT and Max-SAT in Python☆12Updated 3 years ago
- Parallel SAT Solver☆8Updated 6 years ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆15Updated 2 weeks ago
- CDCL SAT-solver for GPUs☆10Updated 7 years ago
- ☆14Updated 3 years ago
- ☆8Updated this week
- Strix is a tool for reactive synthesis of controllers from LTL specifications.☆19Updated 2 years ago
- Intrepyd Model Checker☆17Updated 3 years ago
- Python version of tools to work with AIG formatted files☆10Updated 6 months ago
- Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…☆18Updated 3 months ago
- A package for compositional system analysis and design☆19Updated last month
- Implementing SVM layer for classification using Keras Module☆7Updated 10 months ago
- A hardware model checker for hyperproperties☆18Updated 5 months ago
- The PRISM benchmark suite: A set of probabilistic models and accompanying probabilistic model checking tasks for testing and benchmarking…☆10Updated last week
- Distributed and ressource elastic cube-and-conquer SAT & QBF solver☆16Updated last year
- ☆15Updated last year
- BoSy is a reactive synthesis tool based on constraint-solving☆19Updated last year
- Simple SAT solver with CDCL implemented in Python☆15Updated last year
- Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks☆13Updated 2 years ago
- Automated Analysis Framework for Simulink/Stateflow☆15Updated last year
- BuDDy Binary Decision Diagram(BDD) library provisioned with CMake files☆11Updated 7 years ago
- BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)☆14Updated 3 weeks ago
- Bᴛᴏʀ2MLIR: A Format and Toolchain for Hardware Verification☆10Updated 3 weeks ago
- ☆12Updated 9 months ago
- ☆11Updated 4 years ago
- Automated Controller Synthesis☆14Updated 6 years ago
- A continuous local search SAT solver based on Fourier expansion for hybrid Boolean constraints.☆11Updated 2 months ago
- Machine Learning Techniques for Hardware Trojan Detection☆17Updated 4 years ago
- ☆11Updated 3 years ago