Verified Software Toolchain

https://github.com/princetonuniversity/vst

VST is a Verified Software Toolchain that provides tools and documentation for Verifiable C, aiming...

Tokens:3,723
Snippets:29
Trust Score:7.4
License:BSD-2-Clause
Update:11 months ago
Tokens:
Raw