3 ms·
does Kani count? https://github.com/model-checking/kani https://github.com/model-checking/kani
by drdrey 2y ago
does Kani count?
https://github.com/model-checking/kani https://github.com/model-checking/kani
- PartiallyTyped 2y agoIt should! Kani’s used by AWS’ Firecracker hypervisor.