default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 67

> Home > Journals > Formal Methods in System Design

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 67, Number 1, October 2025

Special issue on 'FMCAD 2022'

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/GriggioR25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GriggioR25
Alberto Griggio, Neha Rungta:
Editorial: Special issue on formal methods in computer-aided design. 1-2
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/KaivolaK25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KaivolaK25
Roope Kaivola, Neta Bar Kama:
Timed causal fanin analysis for symbolic simulation. 3-26
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/CoutelierRRBK25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/CoutelierRRBK25
Robin Coutelier, Jakob Rath, Michael Rawson, Armin Biere, Laura Kovács:
SAT solving for variants of first-order subsumption. 27-70
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/JonssonLS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/JonssonLS25
Bengt Jonsson, Magnus Lång, Konstantinos Sagonas:
Awaiting for Godot: stateless model checking that avoids executions where nothing happens. 71-105
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/fmsd/KonradSMGD25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KonradSMGD25
Alexander Konrad, Christoph Scholl, Alireza Mahzoon, Daniel Große, Rolf Drechsler:
Divider verification using symbolic computer algebra and delayed don't care optimization: theory and practical implementation. 106-142

Volume 67, Number 2, November 2025

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BlichaBS25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BlichaBS25
Martin Blicha, Konstantin Britikov, Natasha Sharygina:
Golem: a flexible and efficient solver for constrained Horn clauses. 143-160
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/OzdemirWBB25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/OzdemirWBB25
Alex Ozdemir, Riad S. Wahby, Fraser Brown, Clark W. Barrett:
Bounded verification for finite-field-blasting in a compiler for zero knowledge proofs. 161-188
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/YangM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/YangM25
Jiong Yang, Kuldeep S. Meel:
Rounding meets approximate model counting. 189-221
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/KobayashiSSU25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KobayashiSSU25
Naoki Kobayashi, Taro Sekiyama, Issei Sato, Hiroshi Unno:
Towards neural-network-guided program synthesis and verification. 222-254

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.