model-checker
Here are 35 public repositories matching this topic...
Progetto di Model Checker - Progetto presentato al il corso di laurea L31 a Urbino
-
Updated
Feb 17, 2023
Study for mah thesis
-
Updated
Jul 5, 2021 - C
A tool to run critics on SQL database schema dumps.
-
Updated
Apr 23, 2018 - Smalltalk
The formal proof of the security of the Mutual Authentication and Key Exchange (MAKE) protocol of LDACS using the symbolic model checker Tamarin.
-
Updated
Aug 18, 2020
-
Updated
Aug 16, 2022 - Kotlin
A static and dynamic analyzer for Brainfuck
-
Updated
Aug 12, 2023 - C++
High-Performance Model Checker developed for multicore, multiprocessors machines (NUMA).
-
Updated
Nov 16, 2020 - C
LLMC is a multi-core model checker of LLVM IR. It translates the input LLVM IR into a model LLVM IR that implements the DMC API, the API of the model checker DMC. This allows LLMC to execute the model's next-state function, instead of interpreting the input LLVM IR, enabling speedups of orders of magnitude.
-
Updated
Jun 1, 2021 - C++
Real-time System Modeling and Verification through Labeled Transition System Analyser (LTSA)
-
Updated
Dec 3, 2018 - Visual Basic
On-the-fly model checker for timed automata with support for the alternation-free modal mu-calculus.
-
Updated
Jun 8, 2023 - C++
Project done for my B.Tech course on Formal Methods for System Verification
-
Updated
Oct 25, 2021
[beta] An experimental model checker for LTL written in Rust
-
Updated
May 14, 2020 - Rust
-
Updated
Jan 2, 2020 - Scala
A bounded model checker for an IMP-style imperative language.
-
Updated
Feb 23, 2019 - Rust
An efficient Petri net model checker using Hierarchical Set Decision Diagrams.
-
Updated
Nov 28, 2023 - C++
An on-the-fly, multi-threaded ATL model checker on concurrent game structures
-
Updated
Feb 1, 2024 - Rust
Improve this page
Add a description, image, and links to the model-checker topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the model-checker topic, visit your repo's landing page and select "manage topics."