1 | -- | 2 | Michaela Huhn, Hardi Hungar. Preface |
3 | -- | 9 | Constance L. Heitmeyer. On the Role of Formal Methods in Software Certification: An Experience Report |
11 | -- | 17 | John Hatcliff, Mats Per Erik Heimdahl, Mark Lawford, T. S. E. Maibaum, Alan Wassyng, Fred L. Wurden. A Software Certification Consortium and its Top 9 Hurdles |
19 | -- | 26 | Nurlida Basir, Ewen Denney, Bernd Fischer. Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code |
27 | -- | 39 | Ibrahim Habli, Tim Kelly. A Generic Goal-Based Certification Argument for the Justification of Formal Analysis |
41 | -- | 56 | Manuel Garnacho, Michaël Périn. Convincing Proofs for Program Certification |
57 | -- | 70 | Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter. The Importance of Being Formal |
71 | -- | 77 | Peter Braun 0003, Jan Philipps, Bernhard Schätz, Stefan Wagner. Model-Based Safety-Cases for Software-Intensive Systems |
79 | -- | 85 | László Gönczy, István Majzik, Ãkos Horváth, Dániel Varró, András Balogh, Zoltán Micskei, András Pataricza. Tool Support for Engineering Certifiable Software |