example, in 2005, Microsoft started using verification technology in many of their internal projects and is planning to include a logical specification and checking language in their 2012 version of Visual C.

Significant contributions

Principia Mathematica was a milestone work in formal logic written by Alfred North Whitehead

1.Previous
3.Next