IEEE.org  |  IEEE Xplore Digital Library  |  IEEE Standards Association  |  IEEE Spectrum  |  More IEEE Sites
IEEE
  • Home
  • IEEE STARS
  • Topic Articles
  • First Hand Histories
  • IEEE Milestones
  • Oral Histories
  • Archives
IEEE Global History Network > Categories > Formal verification
You are not logged in, please sign in to edit > Log in / create account  
Donate to the IEEE History Center Browse by Subject Organizational Units IEEE History Center Tools

Category:Formal verification

SHARE |

From GHN

(Difference between revisions)
Jump to: navigation, search
m (New page: IEEE GHN Category Category:Software & software engineering)
 
 
Line 1: Line 1:
 +
The proving or disproving of the correctness of the algorthims underlying a property using the formal methods of mathematics
  
−
IEEE GHN Category [[Category:Software & software engineering]]
+
[[Category:Software_&_software_engineering|{{PAGENAME}}]]

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.

G

Retrieved from "http://www.ieeeghn.org/wiki/index.php/Category:Formal_verification"
Log in

GHN Home  |  About GHN  |  Help  |  Contact Us  |  Privacy  |  Terms & Conditions  |  MediaWiki
© Copyright 2012 IEEE — All Rights Reserved