Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Laeufer, Kevin"'
Autor:
Polgreen, Elizabeth, Cheang, Kevin, Gaddamadugu, Pranav, Godbole, Adwait, Laeufer, Kevin, Lin, Shaokai, Manerkar, Yatin A., Mora, Federico, Seshia, Sanjit A.
UCLID5 is a tool for the multi-modal formal modeling, verification, and synthesis of systems. It enables one to tackle verification problems for heterogeneous systems such as combinations of hardware and software, or those that have multiple, varied
Externí odkaz:
http://arxiv.org/abs/2208.03699
Autor:
Dobis, Amelia, Laeufer, Kevin, Damsgaard, Hans Jakob, Petersen, Tjark, Rasmussen, Kasper Juul Hesse, Tolotto, Enrico, Andersen, Simon Thye, Lin, Richard, Schoeberl, Martin
Publikováno v:
In Microprocessors and Microsystems February 2023 96
