Kangfeng Ye (@RandallYe)
github

RandallYe

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    2
  • Global Rank 2,219,069 (Top 77 %)
  • Followers 2
  • Following 2
  • Registered over 9 years ago
  • Most used languages
    D
         50.0 %
    Haskell
         50.0 %
  • Location πŸ‡¬πŸ‡§ United Kingdom
  • Country Ranking
    D
         74
    Haskell
         730

Top repositories

1

Animation_of_Security_Protocolss

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

QASCAD

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