PROCEEDINGS OF THE 25TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2025
Buch in deiner Nähe kaufen
Beschreibung
The Proceedings of the conference "Formal methods in computer-aided design 2025" provide up-to-date insight into an exciting field of research.For the sixth 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 2025 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 will take place in October 2025 in Menlo Park, California, USA. It is regarded as the leading forum in the field of computer-aided design and has offered researchers from both academia and industry the opportunity to exchange ideas and network since its inception.
Autor*in
Ahmed Irfan
Ahmed Irfan ist ein Senior Computer Scientist bei SRI International. Zuvor war er Applied Scientist bei Amazon Web Services. Nach seiner Promotion forschte er an der Stanford University, USA, und an der Fondazione Bruno Kessler (FBK), Italien. Er erhielt seinen Doktortitel in Informatik von der Universität Trento, Italien.
Seine Forschungsinteressen liegen im Bereich der formalen Methoden, mit einem Schwerpunkt auf SAT/SMT-Solvern, nichtlinearer Arithmetik, symbolischem Modellchecking und formaler Verifikation. Er hat zur Entwicklung mehrerer bekannter Verifikationstools beigetragen, darunter Yices2, MathSAT5, Pono und nuXmv.
Themen in »PROCEEDINGS OF THE 25TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2025«
Formal Methods Computer-Aided System Design Hardware and System Verification Formal Verification, Specification, Synthesis, and Testing Automated and Formal Reasoning