V4 Quick Chick: Property-Based Testing in Coq

References:

More

Created Apr 29, 2021 // Last Updated May 18, 2021

If you could revise
the fundmental principles of
computer system design
to improve security...

... what would you change?