package coq-vst
Verified Software Toolchain
Install
Dune Dependency
Authors
Maintainers
Sources
v2.15.tar.gz
sha256=44873919ee077b2ce4eb2b7a83c663d3fd673fd7d89c6fc578c46cf10efb4465
Description
The software toolchain includes static analyzers to check assertions about your program; optimizing compilers to translate your program to machine language; operating systems and libraries to supply context for your program. The Verified Software Toolchain project assures with machine-checked proofs that the assertions claimed at the top of the toolchain really hold in the machine-language program, running in the operating-system context.
Tags
category:Computer Science/Semantics and Compilation/Semantics keyword:C logpath:VST date:2025-01-08Published: 08 Jan 2025
Dependencies (5)
-
coq-flocq
>= "4.2.0"
-
coq-vst-zlist
= "2.13"
-
coq-compcert
= "3.15"
-
coq
>= "8.19" & < "8.21~"
- ocaml
Dev Dependencies
None
Used by (1)
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page