Notes on computers, programming and all the stuff
Pokazywanie postów oznaczonych etykietą
verification
.
Pokaż wszystkie posty
Pokazywanie postów oznaczonych etykietą
verification
.
Pokaż wszystkie posty
środa, 10 czerwca 2015
Big progress in verification
›
Formal verification is not easy task, for example ComCert compiler is able to verify, that optimizations haven't modified semantic of a...
›
Strona główna
Wyświetl wersję na komputer