does Kani count? https://github.com/model-checking/kani | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		drdrey on Aug 27, 2024 \| parent \| context \| favorite \| on: KLEE Symbolic Execution Engine does Kani count? https://github.com/model-checking/kani

PartiallyTyped on Aug 28, 2024 [–]

It should! Kani’s used by AWS’ Firecracker hypervisor.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact