Preface of the special issue on the conference on computer-aided verification 2018

DOI10.1007/S10703-021-00365-5OpenAlexW3158474527MaRDI QIDQ2050099

No author found.

Publication date: 30 August 2021

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-021-00365-5

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25)

Cites Work

• Computer aided verification. 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14--17, 2018. Proceedings. Part II
• Computer aided verification. 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14--17, 2018. Proceedings. Part I
• Solving quantified bit-vectors using invertibility conditions
• Quasi-optimal partial order reduction
• What's hard about Boolean functional synthesis?

This page was built for publication: Preface of the special issue on the conference on computer-aided verification 2018