Matthias Schlaipfer

Follow

Person

Berlin, DE

People

Patents Grantslast 30 patents

Information Patent Grant
Retaining Dafny specifications
- Patent number 11,921,616
- Issue date Mar 5, 2024
- Amazon Technologies, Inc.
- Tongtong Xiang
- G06 - COMPUTING CALCULATING COUNTING
Information Patent Grant
Transitioning legacy software to be provably correct
- Patent number 11,797,317
- Issue date Oct 24, 2023
- Amazon Technologies, Inc.
- Sean McLaughlin
- G06 - COMPUTING CALCULATING COUNTING