Sara Jones, David Till, Ann M. Wrightson: Formal methods and requirements engineering: Challenges and synergies. 263-273

Code: Getting it Right A new OS has been proven to be correct using mathematical proofs. The cost: astronomical. By Jack Ganssle Embedded.com (10/26/09, 02:28:00 HΠEDT)http://www.embedded.com/columns/breakpoint/220900551

Programming logic is a framework or system to prove properties of programs. Hoare logic is the representative basic theory, and certified programming is the technique/method for the programming logic. Hence "Programming language" and "prog…