Related Work

Interesting papers

Papers Authors Notes About

Weakest precondition

[Google Scholar]

Notes:
Papers:

Papers related to Weakest precondition

Formal specification and testing of QUIC [mcmillan:sigcomm:2019]

The opinions expressed are my own views and not my employer’s.