SiEPIC EBeam PDK & Library, for SiEPIC-Tools and KLayout
-
Updated
May 15, 2024 - Python
SiEPIC EBeam PDK & Library, for SiEPIC-Tools and KLayout
Security advisory (Finnish: turvallisuusneuvonta) audit tool.
Calculate (Finnish: laskea) some parts.
Common Security Advisory Framework (CSAF) Verification, Validation, and Application Programming Interface (API).
Master's Thesis in Computer Science: Verification of the Blocking and Non-Blocking Michael-Scott Queue Algorithms
Find and verify secrets
📺 YouTube viewership research information.
✔️Port of RISCOF to check the NEORV32 for RISC-V ISA compatibility.
An open-source design automation framework for Field-coupled Nanotechnologies
Dafny is a verification-aware programming language
APALACHE: symbolic model checker for TLA+ and Quint
The OWASP MASVS (Mobile Application Security Verification Standard) is the industry standard for mobile app security.
Functional verification project for the CORE-V family of RISC-V cores.
Katamaran is a semi-automated separation logic verifier for the Sail specification language. It works on an embedded version of Sail called μSail and verifies separation logic-based contracts of functions by generating (succinct) first-order verification conditions.
Solakraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache
Verification framework and tool for higher-order Scala programs
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
Add a description, image, and links to the verification topic page so that developers can more easily learn about it.
To associate your repository with the verification topic, visit your repo's landing page and select "manage topics."