C program proofs with Frama-C and its WP plugin [pdf]allan-blanchard.fr2 points·andrewchambers··0 commentsOpen articleSaveView on HN