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