FMCAD 2020

This Special Collection is based on work that was presented to the FMCAD 2020 Conference.

Journal

Formal Methods in System Design

Formal Methods in System Design is a journal dedicated to presenting the latest advancements in formal methods for hardware and software system design.

Professor Ofer Strichman

Technion Israel Institute of Technology Israel
Dr Alexander Ivrii

IBM Israel

Showing 1-4 of 4 articles

Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification
Thomas Pani
Georg Weissenbacher
Florian Zuleger
OriginalPaper Open access 06 October 2023 Pages: 108 - 145
Practical algebraic calculus and Nullstellensatz with the checkers Pacheck and Pastèque and Nuss-Checker
Daniela Kaufmann
Mathias Fleury
Manuel Kauers
OriginalPaper Open access 11 April 2022 Pages: 73 - 107
Distributed bounded model checking
Prantik Chatterjee
Subhajit Roy
Akash Lal
OriginalPaper 05 January 2022 Pages: 50 - 72
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis
Alessandro Cimatti
Luca Geatti
Stefano Tonetta
OriginalPaper 04 November 2021 Pages: 1 - 49

FMCAD 2020

Participating journal

Formal Methods in System Design

Editors

Professor Ofer Strichman

Dr Alexander Ivrii

Articles

Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification

Practical algebraic calculus and Nullstellensatz with the checkers Pacheck and Pastèque and Nuss-Checker

Distributed bounded model checking

Extended bounded response LTL: a new safety fragment for efficient reactive synthesis