Microsoft Research
| Tool | Description |
|---|---|
| PROSE | Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic … |
| Aeneas | Aeneas (pronunced [Ay-nay-as]) is a verification toolchain for Rust programs. |
| IVy | [ Not Maintained Since 2023 ] IVy is a research tool intended to allow interactive development of … |
| Z3 | Z3 is a general-purpose theorem prover widely used for SAT & SMT solving. APIs and Bindings This … |