注册
登录
精益
>>
formal-methods
>>
返回
项目作者：
hengxin
项目描述 ：
Formal Methods
高级语言：
项目主页：
项目地址:
git://github.com/hengxin/formal-methods.git
创建时间：
2020-03-22T03:44:04Z
项目社区：
https://github.com/hengxin/formal-methods
开源协议：
MIT License
下载
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)
RALin
LoopInvariant@CSUR’2014
张宇奇
ICLR2020 GamePad A Learning Environment for Theorem Proving_1649116324907.pdf
Machine Learning for First-order Theorem Proving_1649116324964.pdf
arXiv2016 1606.04442 DeepMath Deep Sequence Models for Premise Selection_1649116325137.pdf
arXiv2019 1907.07794 Generating Correctness Proofs with Neural Networks_1649116325300.pdf
arXiv2020 2002.07019 Learning to Prove Theorems by Learning to Generate Theorems_1649116325497.pdf
