(Difference between revisions)
m (New page: IEEE GHN Category Category:Software & software engineering)
|Line 1:||Line 1:|
Latest revision as of 18:43, 6 February 2013
The proving or disproving of the correctness of the algorthims underlying a property using the formal methods of mathematics
Pages in category "Formal verification"
This category contains only the following page.