PROCEEDINGS OF THE 23RD CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2023

Beschreibung

The Proceedings of the conference "Formal methods in computer-aided design 2023" provide up-to-date insight into an exciting field of research.For the fourth time, the contributions of the conference series "Formal Methods in Computer-Aided Design" (FMCAD) are published as conference proceedings by TU Wien Academic Press. The 2023 edition of the conference series, which has been held once a year since 2006, presents the latest scientific findings in the field of computer-aided design in more than 40 contributions. The contributions cover formal aspects of computer-aided system design including verification, specification, synthesis, and testing.The FMCAD conference, held in Ames, Iowa, USA in October 2023, is considered a leading forum in the field of computer-aided design and, since its inception, has provided an opportunity for researchers from both academia and industry to exchange ideas and to network.

Autor*in

Alexander Nadel
Alexander Nadel ist Forscher bei Intel und wissenschaftlicher Mitarbeiter an der Fakultät für Daten- und Entscheidungswissenschaften des Technion in Haifa, Israel. Sein Forschungsinteresse gilt der Lösung von Enscheidungsprozeduren (SAT-Solving, SMT-Solving, MaxSAT, Model Checking) und ihren verschiedenen Anwendungen. Alexander ist seit 2003 bei Intel tätig und leitete die Entwicklung von Constraint-Solving-Technologien, die in verschiedenen Bereichen eingesetzt werden, darunter formale Verifikation, physikalisches Design (Place and Route), Scheduling und Testgenerierung. Alexander entwickelte auch mehrere Open-Source-Solver, die bei SAT-Wettbewerben und MaxSAT-Evaluierungen mehrfach ausgezeichnet wurden.

Themen in »PROCEEDINGS OF THE 23RD CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2023«

Formal Methods Computer-Aided System Design Hardware and System Verification Formal Verification, Specification, Synthesis, and Testing Automated and Formal Reasoning

Stimmen zu »PROCEEDINGS OF THE 23RD CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2023«

Details

Link teilen