Formal Property Verification for Early Discovery of Functional Flaws in Digital Designs: A Designer's Guide

Meinhard Kissich, Marcel Carsten Baunach

Institute of Technical Informatics (4480)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

1 Poster presentation

1 results
- Title
- Start date(ascending)

Formal Property Verification for Early Discovery of Functional Flaws in Digital Designs: A Designer's Guide
Meinhard Kissich (Speaker)
7 Sept 2023
Activity: Talk or presentation › Poster presentation › Science to science