You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The idea is to use a verification-based approach at all steps of the development cycle of Connection Handshake.
Problem Definition
The goal is to catch bugs, prevent security problems, and finally obtain a formally verified implementation of Connection Handshake. To do so, this feature aims to align the development of Connection Handshake with our VDD approach. For a high-level description of how we will achieve this alignment, see VDD/#2 and the VDD/connection write-up.
Proposal
List of deliverables that we'll target to have in the current repository for the Connection Handshake problem:
Summary
The idea is to use a verification-based approach at all steps of the development cycle of Connection Handshake.
Problem Definition
The goal is to catch bugs, prevent security problems, and finally obtain a formally verified implementation of Connection Handshake. To do so, this feature aims to align the development of Connection Handshake with our VDD approach. For a high-level description of how we will achieve this alignment, see VDD/#2 and the VDD/connection write-up.
Proposal
List of deliverables that we'll target to have in the current repository for the Connection Handshake problem:
L2: Abstract test scenariosunclear if this is useful at this moment; will be addressed potentially in later work.For Admin Use
The text was updated successfully, but these errors were encountered: