Patents/Inventors

Matthias Schlaipfer

BerlinDE2 patents

3 Patents

US119216162024
Retaining Dafny Specifications
Amazon Technologies, Inc.
0 cites
US117973172023
Transitioning Legacy Software to Be Provably Correct
Amazon Technologies, Inc.
0 cites
US117779952023
Resource State Validation of Access Management Policies
Amazon Technologies, Inc.
0 cites