default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Methods in System Design, Volume 67
Volume 67, Number 1, October 2025
Special issue on 'FMCAD 2022'
- Alberto Griggio, Neha Rungta:
Editorial: Special issue on formal methods in computer-aided design. 1-2 - Roope Kaivola, Neta Bar Kama:
Timed causal fanin analysis for symbolic simulation. 3-26 - Robin Coutelier, Jakob Rath, Michael Rawson, Armin Biere, Laura Kovács:
SAT solving for variants of first-order subsumption. 27-70 - Bengt Jonsson
, Magnus Lång, Konstantinos Sagonas:
Awaiting for Godot: stateless model checking that avoids executions where nothing happens. 71-105 - 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
- Martin Blicha, Konstantin Britikov, Natasha Sharygina:
Golem: a flexible and efficient solver for constrained Horn clauses. 143-160 - 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 - Jiong Yang, Kuldeep S. Meel:
Rounding meets approximate model counting. 189-221 - Naoki Kobayashi, Taro Sekiyama, Issei Sato, Hiroshi Unno:
Towards neural-network-guided program synthesis and verification. 222-254
Volume 67, Number 3, December 2025
- Yingjie Wu, Guohui Wang, Shanyan Chen, Zhiping Shi, Yong Guan, Ximeng Li:
Formalization of robot collision detection method based on conformal geometric algebra. 255-281 - Nick Feng, Lina Marsso, Yuliia Kholodetska, Marsha Chechik:
Bounded satisfiability checking of $\hbox {FOL}^*$ formulas with aggregations. 282-315 - Ömer Sakar, Mohsen Safari, Marieke Huisman, Anton Wijs:
Preserving provability over GPU program optimizations with annotation-aware transformations. 316-372 - Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic:
Correction: (Un)Solvable loop analysis. 373-374
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.
last updated on 2025-12-19 21:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
