Open AccessCombining Test and Proof in MBAT - An Aerospace Case Study
Author(s) -
Michael Dierkes
Publication year - 2014
Language(s) - English
Resource type - Conference proceedings
DOI - 10.5220/0004874906360644
Subject(s) - computer science , aerospace , certification , formal proof , formal methods , proof of concept , test (biology) , proof assistant , formal verification , software engineering , programming language , mathematical proof , engineering , mathematics , paleontology , aerospace engineering , operating system , geometry , political science , law , biology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom