rene_mobile’s Twitter Archive—№ 5,904

@ciphernyx @halvarflake 1. Correctness in the sense of implementing the protocol spec for well-defined invocations (completeness). 2. Correctness in the sense of rejecting all possible invalid (unspecified) protocol runs. 3. Ideally correctness in the sense of memory safety in all cases (hard, I know).