Un compilateur C pour faire de la vérification formel. Vise les architectures PowerPC, ARM, x86 et Risc-V
formal
C
compilateur
riscv
FoldFold allExpandExpand allAre you sure you want to delete this link?Are you sure you want to delete this tag?
The personal, minimalist, super-fast, database free, bookmarking service by the Shaarli community