-
ket-as4qc Public
|AS4QC> - An Algebraic Specification for Quantum Computation in Maude
-
bb84 Public
Formal Specification and Model Checking of the BB84 Protocol in Maude
1 UpdatedDec 23, 2025 -
-
cafeobj-vscode-extension Public
Language CafeOBJ Support for VS Code
-
qcheck Public
QCheck - A Framework for Probabilistic Model Checking of Quantum Programs
C++ MIT License UpdatedDec 8, 2025 -
qrat Public
QRAT: A Reachability Analysis Tool for Quantum Programs
C++ MIT License UpdatedDec 8, 2025 -
-
-
trs-qrat Public
TRS-QRAT: A Reachability Analysis Tool for Quantum Programs Using a Term Rewriting System
Shell UpdatedSep 16, 2025 -
spec-test Public
Specification-based Testing Concurrent Java Programs with JPF and Maude
Java UpdatedAug 18, 2025 -
dca2mc Public
A Divide & Conquer Approach to Model Checking Linear Temporal Properties
Shell UpdatedJul 23, 2025 -
promela-specs Public
Promela Specifications for Mutual Exclusion Protocols
Promela UpdatedJul 23, 2025 -
cs-video-courses Public
Forked from Developer-Y/cs-video-coursesList of Computer Science courses with video lectures.
UpdatedJul 2, 2025 -
mqt-core Public
Forked from munich-quantum-toolkit/coreMQT Core - The Backbone of the Munich Quantum Toolkit
C++ MIT License UpdatedJun 10, 2025 -
narrowing-examples Public
A collection of protocols verified using narrowing
Shell UpdatedJun 9, 2025 -
generative-ai-for-beginners Public
Forked from microsoft/generative-ai-for-beginners21 Lessons, Get Started Building with Generative AI 🔗 https://microsoft.github.io/generative-ai-for-beginners/
Jupyter Notebook MIT License UpdatedApr 28, 2025 -
-
singularity-maude Public
Building dockers for Maude to run singularity with HPC
Shell UpdatedNov 11, 2024 -
Nielsen-Chuang-Solutions Public
Forked from Indi-Quantum-Community/Nielsen-Chuang-SolutionsA repository of hints and solutions for Michael Nielsen and Isaac Chuang's Book, Quantum Computation and Quantum Information, 10th Anniversary Edition.
TeX UpdatedJul 29, 2024 -
-
-
par-maude-npa Public
Parallel Maude-NPA for Cryptographic Protocol Analysis
-
ket-qcec Public
|QCEC> - A Tool for Quantum Circuit Equivalence Checking Based on Dirac Notation in Maude
Shell UpdatedMar 19, 2024 -
-
cdql Public
Automated Quantum Protocol Verification Using Concurrent Dynamic Quantum Logic
-
mqt-qcec Public
Forked from munich-quantum-toolkit/qcecMQT QCEC - A tool for Quantum Circuit Equivalence Checking
C++ MIT License UpdatedJan 6, 2024 -
-
L-plus-1-dca2mc Public
Forked from yatiphyo/DCA2MCL+1 Layer Divide and Conquer Approach to LeadsTo Model Checking
Shell UpdatedAug 1, 2023 -
-
fom Public
A tool for checking the word problem in free orthomodular lattices using model checking
UpdatedMar 3, 2023
{{ message }}