2020年6月15日 -
2020年6月19日
Microsoft at PLDI 2020
地点： Virtual/Online
- Automata: github.com/AutomataDotNet/Automata (opens in new tab)
- Ivy: github.com/Microsoft/ivy (opens in new tab)
- Lean Theorem Prover: leanprover.github.io (opens in new tab)
- Network Verification: github.com/Z3Prover/FirewallChecker (opens in new tab)
- P/P#: github.com/p-org (opens in new tab)
- Project Everest: project-everest.github.io (opens in new tab)
- Q#: github.com/Microsoft/qsharp-compiler (opens in new tab)
- TLA+: github.com/tlaplus/tlaplus (opens in new tab)
- VeriSol: github.com/Microsoft/verisol (opens in new tab)
- Z3 Theorem Prover: github.com/Z3Prover/z3 (opens in new tab)