Why3 Modern automatic theorem prover Based on SMT technology Qualification DO-178 B C (avionic) Used in industrial world - Frama-C - Document - PDFSEARCH.IO

First Page	Meta Content
	Why3 Modern automatic theorem prover Based on SMT technology Qualification DO-178 B/C (avionic) Used in industrial world Add to Reading List Document Date: 2014-07-02 21:39:26 Open Document File Size: 35,03 KB Share Result on Facebook Company Cubicle SPARK / Airbus / / / Facility Cubicle SPARK CAVEAT / / IndustryTerm software reliability / program verification tools / / Person Ada Code Frama / / Product A350 / / ProgrammingLanguage C / / Technology SMT technology / / URL http / SocialTag Ada programming language Formal methods Frama-C SPARK Logic in computer science Automated theorem proving AdaCore Ada Formal verification Computing

Why3 Modern automatic theorem prover Based on SMT technology Qualification DO-178 B/C (avionic) Used in industrial worldAdd to Reading List