equivalence-checker

There are 0 repository under equivalence-checker topic.

cda-tum / mqt-qcec
MQT QCEC - A tool for Quantum Circuit Equivalence Checking
cpp17 decision-diagrams equivalence-checker jku mqt python quantum-circuits quantum-computing tum verification zx-calculus
Language:C++ 86
sdasgup3 / validating-binary-decompilation
Scalable Validator for Binary Lifters
x86-64 llvm-ir validation equivalence-checker decompilation compositional z3-smt-solver
Language:LLVM 53
bchurchill / pldi19-equivalence-checker
Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"
equivalence-checker formal-verification x86-64
Language:C++ 35
amamory-verification / hw-formal-verif
Hardware Formal Verification
equivalence-checker fault-simulation formal-verification jasper-gold model-checking systemverilog vhdl
Language:Verilog 13
can-lehmann / pathbeaver
Symbolic execution of LLVM IR
equivalence-checker llvm symbolic-execution formal-verification
Language:C++ 13
benkeks / equivalence-fiddle
Tool for finding the best ways of equating / preordering / distinguishing finite process models.
equivalence-checker equivalence-relations model-checking system-analysis hennessy-milner-logic
Language:Scala 3
Pritam-Sethuraman / USB-Core
cadence-conformal design-vision formal-verification formality synopsys vhdl equivalence-checker
Language:VHDL 1
akashdotsrivastava / compare-css
Test whether two pieces of CSS text are equivalent in browser
comparison-tool css equivalence-checker
Language:JavaScript