Die Konferenz über formale Methoden im computergestützten Design (FMCAD) ist eine jährliche Konferenz über die Theorie und Anwendungen formaler Methoden in der Hardware- und Systemverifizierung. Die FMCAD bietet Forschern aus Wissenschaft und Industrie ein führendes Forum für die Präsentation und Diskussion bahnbrechender Methoden, Technologien, theoretischer Ergebnisse und Werkzeuge für die formale Betrachtung von Computersystemen. Die FMCAD deckt formale Aspekte des computergestützten Systemdesigns ab, darunter Verifizierung, Spezifikation, Synthese und Testen.

Die FMCAD-Konferenz findet im Oktober 2025 in Menlo Park, Kalifornien, USA, statt. Sie gilt als führendes Forum im Bereich des Computer-AidedDesign und bietet seit ihrer Gründung Forschenden sowohl aus dem akademischen als auch dem industriellen Umfeld die Möglichkeit, sich auszutauschen und zu vernetzen.

Die Publikation steht als E-Book, öffnet eine externe URL in einem neuen Fenster zur Verfügung.

Der Band ist in der Schriftenreihe “Conference Series: Formal Methods in Computer-Aided Design”, öffnet eine externe URL in einem neuen Fenster erschienen.

Mehr zu TU Wien Academic Press, öffnet eine externe URL in einem neuen Fenster