


default search action
Formal Methods in System Design, Volume 63
Volume 63, Number 1, October 2024
- Aws Albarghouthi, K. Rustan M. Leino, Alexandra Silva, Caterina Urban:
Preface of the special issue on the conference on Computer-Aided Verification 2020 and 2021. 1-4 - Jaroslav Bendík
, Kuldeep S. Meel:
Hashing-based approximate counting of minimal unsatisfiable subsets. 5-39 - Krishnendu Chatterjee
, Joost-Pieter Katoen
, Stefanie Mohr
, Maximilian Weininger
, Tobias Winkler
:
Stochastic games with lexicographic objectives. 40-80 - Hari Govind Vediramana Krishnan
, YuTing Chen
, Sharon Shoham
, Arie Gurfinkel
:
Global guidance for local generalization in model checking. 81-109 - Alasdair Armstrong
, Brian Campbell, Ben Simner, Christopher Pulte
, Peter Sewell:
Isla: integrating full-scale ISA semantics and axiomatic concurrency models (extended version). 110-133 - Tiago Cogumbreiro
, Julien Lange
, Dennis Liew
, Hannah Zicarelli
:
Memory access protocols: certified data-race freedom for GPU kernels. 134-171 - Azadeh Farzan
, Victor Nicolet:
Partial bounding for recursive function synthesis. 172-205 - Guillaume Girol, Benjamin Farinier, Sébastien Bardin
:
Introducing robust reachability. 206-234 - Engel Lefaucheux, Joël Ouaknine
, David Purser, James Worrell:
Porous invariants for linear systems. 235-271

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.