Skip to content
View canhminhdo's full-sized avatar
16 followers · 22 following
Block or Report

Block or report canhminhdo

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. dca2mc dca2mc Public

    A Tableau-based Approach to Model Checking Linear Temporal Properties

    Shell

  2. spec-based spec-based Public

    Specification-based Testing Concurrent Java Programs with JPF and Maude

    Java

  3. parallel-maude-npa parallel-maude-npa Public

    Parallel Maude-NPA for Cryptographic Protocol Analysis

    Shell 2

  4. cafeobj-vscode-extension cafeobj-vscode-extension Public

    Language CafeOBJ Support for VS Code

    2 2

  5. DQL DQL Public

    Dynamic Quantum Logic to Verify Quantum Protocols in Maude

    Shell 1

  6. QTC-Maude QTC-Maude Public

    Symbolic Model Checking Quantum Circuits in Maude

    Shell 1