TU Wien Academic Press - new release: FMCAD 2022

The third volume of proceedings of the conference series on ‘Formal methods in computer-aided design’ offers new insights into an exciting field of research.

Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design - FMCAD 2022

For the third time, TU Wien Academic Press is publishing the conference proceedings of the conference ‘Formal Methods in Computer-Aided Design’, FMCAD.

The newest volume in the series of FMCAD conferences, held annually since 2006, includes over 40 conference papers presenting the most recent scientific findings in the field of computer-aided design. The papers cover a wide variety of topics including verification, testing and synthesis of models and systems as well as applications of AI-based methods.

The 22nd FMCAD conference is held in October 2022 in Italy. The conference series is regarded as the leading forum in the field of computer-aided design, and offers researchers from both academic and industrial settings opportunities for scientific exchange and networking.

The publication is available as an e-book, opens an external URL in a new window.

The volume appeared in the series "Conference Series: Formal Methods in Computer-Aided Design, opens an external URL in a new window".

More on TU Wien Academic Press, opens an external URL in a new window