Skip to content
View RandallYe's full-sized avatar
2 followers · 2 following

Achievements

Achievement: Pull Sharkx2

Achievements

Achievement: Pull Sharkx2

Block or report RandallYe

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

Popular repositories Loading

  1. Animation_of_Security_Protocols Animation_of_Security_Protocols Public

    This repository contains our work to use formally verified animation (automatically generated from Isabelle/HOL) to verify security protocols.

    Haskell 2 1

  2. probabilistic_programming_utp probabilistic_programming_utp Public

    The mechanisation of the semantics of probabilistic designs in Isabelle/UTP

    Isabelle 1

  3. QANAD QANAD Public

    This repository is about the safety analysis of UML activity diagrams using Markov models in the SESAME project.

    D 1

  4. Circus-Programs Circus-Programs Public

    This is a personal repository for me to keep the Circus (https://www.cs.york.ac.uk/circus/) specifications and programs which are used in my research, as well as corresponding experimental tools.

    TeX

  5. Circus2ZCSP Circus2ZCSP Public

    A translator from a Circus model to CSP ||b Z in terms of CSP || B

    Java

  6. RandallYe.github.io RandallYe.github.io Public

    Kangfeng (Randall) Ye's Home Page

    HTML