PROCEEDINGS OF THE 22ND CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2022

Der dritte Konferenzband zur Konferenzreihe „Formal methods in computer-aided design“ gibt neue Einblicke in ein spannendes Forschungsfeld.
Zum dritten Mal erscheinen die Beiträge der Konferenzreihe „Formale Methoden in rechnerunterstützter Systementwicklung“ (Formal Methods in Computer-Aided Design, FMCAD) als Konferenzband bei TU Wien Academic Press. Der aktuelle Band der seit 2006 einmal jährlich veranstalteten Konferenzreihe präsentiert in über 40 Beiträgen neueste wissenschaftliche Erkenntnisse aus dem Bereich des computergestützten Entwerfens. Die Beiträge umfassen eine Vielzahl von Aspekten, unter anderem Verifikation, Testung und Synthese von Modellen und Systemen und Anwendungen von AI basierenden Methoden.
Die 22. FMCAD Konferenz findet im Oktober 2022 in Italien statt. Sie gilt als führendes Forum im Bereich des computer-aided design und bietet seit ihrer Gründung Forschenden sowohl aus dem akademischen als auch dem industriellen Umfeld die Möglichkeit, sich auszutauschen und zu vernetzen.