HAVOC

MaRDI QIDQ32048swMATHFDO

Official website https://www.microsoft.com/en-us/research/project/havoc

Cited in

(4)

• scientific article; zbMATH DE number 6712238 (Why is no real title available?)
• Goblint
• Kilim
• Unifying type checking and property checking for low-level code

This page was built for software: HAVOC