Giters
Yuyan Bao (YuyanBao)

YuyanBao

Geek Repo

11

followers

32

following

25

stars

Company:Augusta University

Location:United States

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

Github PK Tool:Github PK Tool

Yuyan Bao's repositories

CS_565

Software Foundations (book and solution)

Language:CoqStargazers:0Issues:0Issues:0

DafnyR

DafnyR is an experimental tool for sequential program specification and verification. It is a variant of Dafny and is inspired by region logic. DafnyR preserves most of the features of Dafny Language. DafnyR is built on a fine-grained region logic and allows one to use several styles of specification frame properties in sequential programs: dynamic frames, region logic and separation logic.

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

HACCLE

License:MITStargazers:0Issues:0Issues:0

lms-clean

Language:ScalaLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

seahorn

SeaHorn Verification Framework

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

verifyTrusty

Language:CMakeStargazers:0Issues:1Issues:0