8000 GitHub - hengxin/formal-methods: Formal Methods

More Web Proxy on the site http://driver.im/

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
ml4proof		ml4proof
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md

Repository files navigation

formal-methods

TLA

tlaplus-jupyter

TLA+

TLA+ in Practice and Theory (four-part blog post series by pressron)
IronFleet@SOSP'2015
- 唐瑞泽、谷晓松
谷晓松、唐瑞泽、纪业、易星辰

TLAPS

Hyperbook
TLA+ Version 2: A Preliminary Guide
On Paxos
- tlaps-examples/paxos
- FM2016: Formal Verification of Multi-Paxos for Distributed Consensus
唐瑞泽、谷晓松、戴若石

SMT

Z3

SAT/SMT by Examples
江雪、唐瑞泽、谷晓松、欧阳鸿荣、戴若石

Coq

Software Foundations
FRAP
江雪、唐瑞泽、谷晓松、戴若石

Boogie (Dafny)

0