The University of New South Wales

Proof Measurement and Estimation

Proof Measurement and Estimation is an activity of the Trustworthy Systems group.

Graphs of Size of Statement vs Size of Proof, for two large subprojects of the seL4 verification.
  Graph of Size of Statement vs Size of Proof, for two large subprojects 
of the seL4 verification.
  Graph of Size of Proof vs Size of Statement, for two large subprojects 
of the seL4 verification.

People

Past