Qualification of a Model Checker for Avionics Software Verification Lucas Wagner1 , Alain Mebsout2 , Cesare Tinelli2 , Darren Cofer1 , and Konrad Slind1 1

Source URL: mebsout.github.io

• Software engineering
• Computing
• Avionics
• Engineering
• Systems engineering
• Software requirements
• Embedded systems
• Safety engineering
• DO-178C
• Formal methods
• Alt-Ergo
• Model checking

PDF Document

Source URL: www.bz-st-konrad.de

PDF Document

Source URL: www.bz-st-konrad.de

PDF Document

Source URL: www.bz-st-konrad.de

PDF Document

Source URL: www.bz-st-konrad.de

PDF Document

Source URL: www.bz-st-konrad.de

Project proposal to the Konrad Adenauer Stiftung for 2011

Source URL: www.analyticamk.org

Notification of Major Holdings 1. Details of issuer Nemetschek SE Konrad-Zuse-PlatzMünchen Germany

Source URL: www.nemetschek.com

In: Proc. International Symposium of Robotics Research (ISRR), Siestre-Levante, ItalyAn Approximate Inference Approach to Temporal Optimization for Robotics Konrad Rawlik, Dmitry Zarubin, Marc Toussaint, and Se

Source URL: ipvs.informatik.uni-stuttgart.de

Advancing Environmental Science Through Data Sharing Gian-Kasper Plattner & Konrad Steffen 1 1Swiss

Source URL: www.icdc10.unibe.ch