← P4136R1 | P4138R0 →
P4137R0 — Info: Profile Analysis and Verification Evidence (PAVE)
Vinnie Falco
WG21
View on open-std.org GitHub issue #2717
The paper offers a way to measure what the type-safety profile actually covers.