Back to Results
First PageMeta Content
Logic in computer science / SPARK / Subroutine / Postcondition / Formal methods / Formal verification / KeY / Precondition / Global variable / Software engineering / Computer programming / Computing


Integrating Formal Program Verification with Testing Cyrille Comar, Johannes Kanig and Yannick Moy AdaCore, 46 rue d’Amsterdam, FParis (France) {comar,kanig,moy}@adacore.com Abstract Verification activities mand
Add to Reading List

Document Date: 2012-03-18 14:32:40

Open Document

File Size: 249,29 KB

Share Result on Facebook

Company

Case / /

/

IndustryTerm

high level software requirements / final hardware / software integration testing / larger software component level / software integration tests / usual development tools / business-critical software / hardware/software / avionics software development / bank / call site / software architecture / software development / avionics software / larger and more complex applications / /

Person

Ben Brosgol / Robert Dewar / Cyrille Comar / Johannes Kanig / /

Position

representative / programmer / /

ProgrammingLanguage

Ada / C / /

Technology

API / pdf / /

URL

http /

SocialTag