Pinned Repositories
CS_565
Software Foundations (book and solution)
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.
HACCLE
lms-clean
seahorn
SeaHorn Verification Framework
verifyTrusty
lms-clean
reachability
seaurchin
Seahorn for Rust
try-openjml
Verily-based web application that allows visitors to try out OpenJML from their web browser.
YuyanBao's Repositories
YuyanBao/HACCLE
YuyanBao/verifyTrusty
YuyanBao/seahorn
SeaHorn Verification Framework
YuyanBao/lms-clean
YuyanBao/CS_565
Software Foundations (book and solution)
YuyanBao/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.