Preface of the special issue on the conference on formal methods in computer-aided design 2017

DOI10.1007/s10703-020-00357-xOpenAlexW3121252968MaRDI QIDQ2058384

No author found.

Publication date: 8 December 2021

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

Full work available at URL: https://doi.org/10.1007/s10703-020-00357-x

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25)

Cites Work

• Preface of the special issue in memoriam Helmut Veith
• First-order temporal logic monitoring with BDDs
• Parameterized verification of algorithms for oblivious robots on a ring
• Exact quantitative probabilistic model checking through rational search
• Learning inductive invariants by sampling from frequency distributions

This page was built for publication: Preface of the special issue on the conference on formal methods in computer-aided design 2017