Giters
Hongjian Jiang (hongjianjiang)

hongjianjiang

Geek Repo

5

followers

16

following

30

stars

Location:kaiserslautern

Home Page:https://hongjianjiang.github.io/

Github PK Tool:Github PK Tool

Hongjian Jiang's repositories

CCSL2Maude

Stargazers:0Issues:1Issues:0

hongjianjiang.github.io

Language:HTMLStargazers:0Issues:1Issues:0

LTL2Buchi1

Stargazers:0Issues:2Issues:0

paraverif_dafny

Language:IsabelleLicense:MITStargazers:0Issues:2Issues:0

py_paraverifier

Language:PythonStargazers:0Issues:3Issues:0

REtoNFA

Language:IsabelleStargazers:0Issues:1Issues:1

SafetyProtocol

Protocol described in A&B language transforms into another theory prover

Language:OCamlStargazers:0Issues:2Issues:0

Spin_Afdx

Stargazers:0Issues:2Issues:0

symblic_string_prover

Language:IsabelleStargazers:0Issues:2Issues:0