Volume 56, Issue 1-3 | Formal Methods in System Design

Search all Formal Methods in System Design articles

Volume 56, Issue 1-3

December 2020

Special issue on FMCAD 2017

Issue Editors:

Daryl Stewart,
Georg Weissenbacher

6 articles in this issue

First-order temporal logic monitoring with BDDs
Klaus Havelund
Doron Peled
Dogan Ulus
OriginalPaper 07 January 2019 Pages: 1 - 21
Incremental column-wise verification of arithmetic circuits using computer algebra
Daniela Kaufmann
Armin Biere
Manuel Kauers
OriginalPaper Open access 26 February 2019 Pages: 22 - 54
Parameterized verification of algorithms for oblivious robots on a ring
Arnaud Sangnier
Nathalie Sznajder
Sébastien Tixeuil
OriginalPaper 30 July 2019 Pages: 55 - 89
Exact quantitative probabilistic model checking through rational search
Umang Mathur
Matthew S. Bauer
Mahesh Viswanathan
OriginalPaper 29 July 2020 Pages: 90 - 126
Automated repair by example for firewalls
William T. Hallahan
Ennan Zhai
Ruzica Piskac
OriginalPaper 30 September 2020 Pages: 127 - 153
Learning inductive invariants by sampling from frequency distributions
Grigory Fedyukovich
Samuel J. Kaufman
Rastislav Bodík
OriginalPaper 16 November 2020 Pages: 154 - 177