Giters
Yuepeng Wang (Yuepeng-Wang)

Yuepeng-Wang

Geek Repo

8

followers

10

following

8

stars

Company:UT-Austin

Github PK Tool:Github PK Tool

Yuepeng Wang's repositories

boogie

Boogie

Language:BoogieLicense:MITStargazers:0Issues:0Issues:0

corral

solver for the reachability modulo theories problem

Language:BoogieLicense:MITStargazers:0Issues:0Issues:0

dafny

Dafny is a verification-aware programming language

Language:C#License:NOASSERTIONStargazers:0Issues:0Issues:0

tlaplus

TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Language:JavaLicense:MITStargazers:0Issues:0Issues:0