4 ms·
They also created VCC (Verifying C Compiler), which uses their Z3 theorem prover to check for bugs (especially concurrency bugs, which can be really tough to fi
by profquail 15y ago
They also created VCC (Verifying C Compiler), which uses their Z3 theorem prover to check for bugs (especially concurrency bugs, which can be really tough to find).
http://vcc.codeplex.com/ http://vcc.codeplex.com/