Final validation of the COCONUT flow and Tools Integration

Samuel Dellacherie, Georg Hofferek, Graziano Pravadelli, Davide Bresolin, Nicola Bombieri, Luigi Di Guglielmo, Luca Geretti, Tiziano Villa, Giovanni Perbellini, Marco Roveri, Iman Narasamdya, Rob Quigley, Joao Marques-Silva, Florian Letombe, Wolfgang Müller, Markus Becker, Christophe Hui-Bon-Hoa

Publikation: Buch/Bericht/KonferenzbandSonstiger Bericht

Projekte

  • 2 Abschlussdatum
Filter
Abschlussdatum
Abschlussdatum

Formal Methods for Design & Verification

Jacobs, S., Bloem, R., Könighofer, R., Könighofer, B., Khalimov, A., Hofferek, G. & Braud-Santoni, N.

1/02/0815/07/19

Projekt: Arbeitsgebiet

EU - COCONUT - A correct-by-construction workbench for design and verification of embedded systems

Könighofer, R., Hofferek, G., Greimel, K. & Bloem, R.

1/01/0830/06/10

Projekt: Foschungsprojekt