|AS4QC> - An Algebraic Specification for Quantum Computation in Maude

Automated Quantum Protocol Verification Using Concurrent Dynamic Quantum Logic

Language based on Rewriting Logic

Translation from CafeOBJ to Maude

Development of the CafeOBJ interpreter

Automatically exported from code.google.com/p/full-maude

A tool for verifying bisimulation of quantum programs.

Erlang Declarative Debugger