January 19, 2020 -
January 25, 2020
Microsoft @ POPL 2020
Location: New Orleans, Louisiana
- 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)