verification
Here are 68 public repositories matching this topic...
LART Runtime Support Library
-
Updated
May 26, 2020 - C++
Reduction from rGURA policy into ARBAC-URA policy
-
Updated
Sep 19, 2017 - C++
C++ Program to generate a CAPTCHA, verify if the input is correct & give a chance to the user to retry
-
Updated
Jul 22, 2021 - C++
[Mirror of https://gitlab.braingenix.org/carboncopies/] BrainGenix-EVM offers evaluation metrics for assessing accuracy in reconstructing neuronal systems, crucial for Whole Brain Emulation. Our platform provides both structural and functional validation metrics, ensuring fidelity in neural network topology and behavior replication.
-
Updated
Jul 7, 2024 - C++
Digital Design & Verification by implementing the core of the bank ATM design as well as verification environment.
-
Updated
Jul 23, 2024 - C++
Microcontroller-based system for fingerprint verification.
-
Updated
Jul 24, 2021 - C++
Quest Simulation & Verification Tool for SDL/QSDL (PhD Thesis) - Simulation Class Library (SCL)
-
Updated
May 22, 2020 - C++
Quest Simulation & Verification Tool for SDL/QSDL (PhD Thesis) - Main QUEST Program (QSDL --> C++)
-
Updated
May 22, 2020 - C++
🍽️ 🔐 Benchmarking Model Checkers for Dynamic and Temporal Epistemic Logics using the Dining Cryptographers example.
-
Updated
Feb 12, 2018 - C++
VerC3: Verification Toolkit for C3
-
Updated
Nov 30, 2017 - C++
A eBPF verifier based on Crab
-
Updated
Aug 25, 2023 - C++
An implementation of NZ Verifier App using Qt
-
Updated
Jan 14, 2022 - C++
PSML: parallel system modeling and simulation language for electronic system level
-
Updated
Feb 25, 2023 - C++
Dynamic libraries for Uppaal models
-
Updated
Apr 4, 2024 - C++
Quest Simulation & Verification Tool for SDL/QSDL (PhD Thesis) - Data Structure (DS)
-
Updated
May 22, 2020 - C++
Model checker for Maude systems controlled by strategies
-
Updated
Mar 23, 2024 - C++
Improve this page
Add a description, image, and links to the verification topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the verification topic, visit your repo's landing page and select "manage topics."