FMCAD'22

A collection for the best selected papers from the Formal Methods in Computer-Aided Design 2022

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.

Alberto Griggio

Fondazione Bruno Kessler, Trento Italy griggio@fbk.eu
Neha Rungta

Amazon Web Services, USA rungta@amazon.com

Showing 1-4 of 4 articles

Awaiting for Godot: stateless model checking that avoids executions where nothing happens
Bengt Jonsson
Magnus Lång
Konstantinos Sagonas
Research Open access 25 July 2025 Pages: 71 - 105
Timed causal fanin analysis for symbolic simulation
Roope Kaivola
Neta Bar Kama
Research 16 May 2025 Pages: 3 - 26
SAT solving for variants of first-order subsumption
Robin Coutelier
Jakob Rath
Laura Kovács
OriginalPaper Open access 11 November 2024 Pages: 27 - 70
Divider verification using symbolic computer algebra and delayed don’t care optimization: theory and practical implementation
Alexander Konrad
Christoph Scholl
Rolf Drechsler
OriginalPaper Open access 24 May 2024 Pages: 106 - 142

FMCAD'22

Participating journal

Formal Methods in System Design

Editors

Alberto Griggio

Neha Rungta

Articles

Awaiting for Godot: stateless model checking that avoids executions where nothing happens

Timed causal fanin analysis for symbolic simulation

SAT solving for variants of first-order subsumption

Divider verification using symbolic computer algebra and delayed don’t care optimization: theory and practical implementation