IMITATOR is a parametric timed model checker taking as input extensions of parametric timed automata, and synthesizing parameter valuations for safety properties and more.
☆28Mar 5, 2026Updated this week
Alternatives and similar repositories for imitator
Users that are interested in imitator are comparing it to the libraries listed below
Sorting:
- TChecker is an open-source verification tool for timed automata☆25Dec 9, 2025Updated 2 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
- BiBLaTeX style for Springer Lecture Notes in Computer Science☆18May 8, 2023Updated 2 years ago
- A library of formal models in the jani-model format.☆14Sep 5, 2022Updated 3 years ago
- ☆15Apr 26, 2021Updated 4 years ago
- Intrepyd Model Checker☆18Nov 5, 2021Updated 4 years ago
- Mutation-based implementation of a random equivalence testing strategy for active automata learning☆16Dec 20, 2018Updated 7 years ago
- BoSy is a reactive synthesis tool based on constraint-solving☆19Aug 3, 2023Updated 2 years ago
- EPMC: An Extendible Probabilistic Model Checker☆19Jan 13, 2025Updated last year
- The DejaVu runtime verification system, using BDDs for storing data occurring in observed events.☆19Mar 8, 2024Updated 2 years ago
- PyNuSMV is a Python framework for experimenting and prototyping BDD-based model checking algorithms based on NuSMV.☆25Nov 1, 2018Updated 7 years ago
- Nightly builds☆23Updated this week
- ☆39Feb 25, 2026Updated last week
- A not-quite-so-simple Binary Decision Diagrams implementation for OCaml☆37Jan 30, 2022Updated 4 years ago
- Building the linear algebra game!☆10Dec 2, 2024Updated last year
- A Modern Probabilistic Model Checker☆162Updated this week
- A Modified gem5 for Simulating Virtualized Systems☆11Mar 1, 2015Updated 11 years ago
- Complete software package for the Iris Lunar Rover (CMU).☆16Feb 23, 2026Updated last week
- VLESS-XTLS-uTLS-REALITY setup script.☆10May 3, 2023Updated 2 years ago
- A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.☆41Jan 3, 2026Updated 2 months ago
- Hanfor helps analyzing and formalizing requirements.☆11Updated this week
- ☆10Feb 19, 2016Updated 10 years ago
- the helena Petri net tool repository☆11Sep 8, 2021Updated 4 years ago
- Resources on the Artifact Evaluation (AE) Process☆17Jan 29, 2021Updated 5 years ago
- create concept map from textbook data☆11May 4, 2018Updated 7 years ago
- ☆11Oct 28, 2020Updated 5 years ago
- My talk at PyCon Spain 2014 [Spanish]☆14Sep 8, 2021Updated 4 years ago
- Papers read during our weekly reading group☆12Sep 17, 2024Updated last year
- ☆10Jul 8, 2015Updated 10 years ago
- Read, write and manipulate code which reads, writes and manipulates code.☆10Mar 15, 2020Updated 5 years ago
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 7 years ago
- Parinfer in Python☆10Feb 3, 2023Updated 3 years ago
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- BuDDy BDD package (with CMake support)☆15May 7, 2024Updated last year
- Literature Review/ Summary of methods for extraction of causal relations from text☆10Oct 6, 2021Updated 4 years ago
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆13Apr 19, 2023Updated 2 years ago
- 由于官网的教程写得比较复杂，所以笔者写一个简单的例子☆10Jul 18, 2023Updated 2 years ago
- Temporal Logic Extractor☆12May 12, 2017Updated 8 years ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 9 years ago