Back to Results
First PageMeta Content
Formal methods / Ada programming language / SPARK / Formal verification / Ada / KeY / Sheaf / Computing / Software engineering / Computer programming


Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification Johannes Kanig2 , Rod Chapman1 , Cyrille Comar2 , Jerˆome Guitton2 , Yannick Moy2 , and Emyr Rees1 1
Add to Reading List

Document Date: 2014-06-16 09:55:02

Open Document

File Size: 289,67 KB

Share Result on Facebook

City

Amsterdam / Reading / Bath / Paris / /

Country

United Kingdom / France / /

/

IndustryTerm

security-critical applications / rail systems / software modules / software module / aircraft systems / cryptographic systems / Formal verification tools / long-lived software / assisted assumptions management / formal verification technology / avionics software / control systems / /

Person

Set Off / Shu tdown / /

Position

driver / Major / /

ProgrammingLanguage

Ada / DC / C / K / T / /

Technology

SPARK formal verification technology / SPARK technology / /

SocialTag