EPMC: An Extendible Probabilistic Model Checker
☆19Jan 13, 2025Updated last year
Alternatives and similar repositories for ePMC
Users that are interested in ePMC are comparing it to the libraries listed below
Sorting:
- A library of formal models in the jani-model format.☆14Sep 5, 2022Updated 3 years ago
- Lisa is a tool for (a). An LTLf to DFA conversion, and (b) An LTLf synthesis tool. Lisa supports both explicit and symbolic state-space r…☆12Sep 27, 2021Updated 4 years ago
- The main development version of the PRISM model checker.☆184Updated this week
- Minimal RISC-V Chisel design strictly reflecting the ISA document for verification.☆18Feb 3, 2026Updated last month
- Official implementation of the paper "HermesBDD: A Multi-Core and Multi-Platform Binary Decision Diagram Package" accepted @ DDECS 2023.☆13Jul 11, 2025Updated 7 months ago
- PRODeep: A Platform for Robustness Verification of Deep Neural Networks☆12Nov 11, 2020Updated 5 years ago
- A Modern Probabilistic Model Checker☆163Updated this week
- 基于 skyzh/chicv 制作的简易中文 typst 简历模板 - CV template in Chinese based on skyzh/chicv☆20Oct 12, 2024Updated last year
- Online BDD Simulation Tool☆24Jul 29, 2025Updated 7 months ago
- A toolbox for dealing with formal models from construction to analysis based on the JANI-model interchange format.☆19Aug 3, 2024Updated last year
- CUDD Decision Diagram Package☆155Dec 12, 2025Updated 2 months ago
- The Termination Problem Database☆29Aug 20, 2025Updated 6 months ago
- IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuatio…☆28Updated this week
- Collection of Automated Reasoners☆35Dec 9, 2025Updated 2 months ago
- A model checker for relational first-order temporal specifications☆29Jul 6, 2021Updated 4 years ago
- Implementation of multi-core (binary) decision diagrams☆83Feb 25, 2026Updated last week
- 软件工程与形式化方法相关前沿工作阅读与分享☆36Oct 27, 2025Updated 4 months ago
- vscode-drawio增强版，提供代码跳转功能☆10Feb 20, 2025Updated last year
- CFG based program similarity using Graph Neural Networks☆36Mar 21, 2023Updated 2 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆38Jan 29, 2024Updated 2 years ago
- A Modified gem5 for Simulating Virtualized Systems☆11Mar 1, 2015Updated 11 years ago
- VLESS-XTLS-uTLS-REALITY setup script.☆10May 3, 2023Updated 2 years ago
- Intelligent Self-driving System empowering Physical Agents (ISSPA)☆13Dec 23, 2024Updated last year
- Python implementation of the Huffman Code compression algorithm.☆14Apr 18, 2013Updated 12 years ago
- Generalized Optimal Transport Attention with Trainable Priors☆24Jan 25, 2026Updated last month
- ☆12Nov 22, 2024Updated last year
- Formal semantics of LLVM IR in K☆47Jun 13, 2018Updated 7 years ago
- Literature Review/ Summary of methods for extraction of causal relations from text☆10Oct 6, 2021Updated 4 years ago
- (Vagrant | VPS) with Ruby, Postgresql, Nginx, and Redis in 3 commands☆33Sep 5, 2017Updated 8 years ago
- Communication is an important component in robotic systems. The application goals such as, finding a victim or teleoperate a robot in an …☆11Aug 29, 2017Updated 8 years ago
- Visual graph rewriting platform☆10Jun 3, 2025Updated 9 months ago
- 🗿 SAT solver wrappers for Kotlin☆11Mar 2, 2024Updated 2 years ago
- A model builder helper for creating graph neural networks akin to the ones described in https://arxiv.org/abs/1806.01261 and https://ie…☆12Apr 18, 2019Updated 6 years ago
- A compiler for higher rank ML with type classes☆13Aug 29, 2020Updated 5 years ago
- A React component for FastComments☆10Jan 13, 2025Updated last year
- A Tool for Intersecting Context-Free Grammars☆10Dec 19, 2017Updated 8 years ago
- nscscc2024，HPU河南理工大学参赛作品，两仪处理器☆11Aug 24, 2024Updated last year
- An IntelliJ IDEA plugin that allows to get suggestions for better method names☆10Dec 4, 2019Updated 6 years ago
- Utility classes for dense and sparse matrices in JCuda☆11Mar 8, 2019Updated 6 years ago