Dafny proofs for 16 selected computations in an 88-component research-workflow prototype, with generated Python and coverage maps. Not verification of the complete system.
Python Updated about 14 hours ago 1 commits 3 stars
zenith-bot|Mirror: wcook04/practical-formal-verification (⭐3)
about 14 hours agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Dafny proofs for 16 selected computations in an 88-component research-workflow prototype, with generated Python and coverage maps. Not verification of the complete system.
Readme
3 stars