Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020

• Weitere Verfasser: Ivrii, Alexander (Herausgegeben von), Strichman, Ofer (Herausgegeben von)
• Format: Elektronisch Buchkapitel
• Sprache: Englisch
• Veröffentlicht: Vienna TU Wien Academic Press 2020
• Schriftenreihe: Conference Series: Formal Methods in Computer-Aided Design
• Schlagworte: Systems analysis & design; Software testing & verification; Computer architecture & logic design; Mathematical theory of computation; Artificial intelligence; Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning
• Online-Zugang: DOAB: download the publication; DOAB: description of the publication