evdenis/acsl-proved

Fully proved small C functions (examples for verification course).

语言：C · GitHub 星标：17 · Fork：1

话题：acsl · c · formal-verification · frama-c · proofs

在 GitHub 上查看原仓库