First Page | Document Content | |
---|---|---|
Date: 2013-06-18 10:17:21Formal sciences Mathematical logic Model theory Proof theory Logic in computer science Design by contract Mathematical proof Formal methods DO-178C Mathematics Logic Science | The Future of Formal Software Verification in Avionics Yannick Moy Formal Methods 2012 Industry Day BackgroundAdd to Reading ListSource URL: fm2012.cnam.frDownload Document from Source WebsiteFile Size: 774,59 KBShare Document on Facebook |