research DQL Automated Quantum Protocol Verification based on Concurrent Dynamic Quantum Logic qrat A Reachability Analysis Tool for Quantum Programs smc4qc Symbolic Model Checking Quantum Circuits in Maude dca2mc A Divide & Conquer Approach to LTL Model Checking ket-qcec Equivalence Checking of Quantum Circuits Based on Dirac notation Par-Maude-NPA A Parallel Version of Maude-NPA for Cryptogrphic Protocol Analysis FOM Checking the Word Problem in Free Orthomodular Lattices PQC-Verification Formal Analysis and Verification of Post-Quantum Cryptographic Protocols Specification-based Testing A Parallel Version of Java Pathfinder for Testing Concurrent Java Programs Cafeobj VSCode Extension A visual studio code extension for CafeOBJ language SMGA-PLUS Graphical Animations of State Machines With Sequential Diagrams study work