![Ada programming language / Formal methods / Frama-C / SPARK / Logic in computer science / Automated theorem proving / AdaCore / Ada / Formal verification / Computing / Software engineering / Computer programming Ada programming language / Formal methods / Frama-C / SPARK / Logic in computer science / Automated theorem proving / AdaCore / Ada / Formal verification / Computing / Software engineering / Computer programming](https://www.pdfsearch.io/img/943144c2bb12ee86be70c60ffb20cc4b.jpg)
| Document Date: 2014-07-02 21:39:26 Open Document File Size: 35,03 KBShare 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 |