Research in Software Engineering (RiSE)

工具

加载中…

Lean interactive theorem prover 

2018年5月

Lean is a functional programming languag…

Github for Lean interactive theorem prover

Boogie intermediate verification language 

2018年5月

Boogie is an intermediate verification l…

Github for Boogie intermediate verification language

P family of languages, compilers, and runtimes 

2017年11月

P family of languages, compilers and run…

Github for P family of languages, compilers, and runtimes

Code Contracts for .NET 

2017年3月

Source code for the CodeContracts tools …

Github for Code Contracts for .NET

CCI (Common Compiler Infrastructure) 

2017年1月

CCI provides a rich infrastructure for w…

Github for CCI (Common Compiler Infrastructure)

Dafny 

2017年1月

Dafny is a verification-aware programmin…

Github for Dafny

VCC 

2016年4月

VCC is a mechanical verifier for concurr…

Github for VCC

Automata 

2015年4月

Automata is a .NET library that provides…

Github for Automata

Microsoft Touch Develop 

2015年2月

Touch Develop is a touch-friendly, cross…

Github for Microsoft Touch Develop