default search action

combined dblp search
author search
venue search
publication search

ask others

Formal Methods in System Design, Volume 64

> 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 64, Number 1, December 2024

Special Section on 'FMCAD 2020' (Articles 1 - 4)

- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/CimattiGGMT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/CimattiGGMT24
Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari, Stefano Tonetta:
Extended bounded response LTL: a new safety fragment for efficient reactive synthesis. 1-49
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/ChatterjeeRDL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/ChatterjeeRDL24
Prantik Chatterjee, Subhajit Roy, Bui Phi Diep, Akash Lal:
Distributed bounded model checking. 50-72
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/KaufmannFBK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KaufmannFBK24
Daniela Kaufmann, Mathias Fleury, Armin Biere, Manuel Kauers:
Practical algebraic calculus and Nullstellensatz with the checkers Pacheck and Pastèque and Nuss-Checker. 73-107
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/PaniWZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/PaniWZ24
Thomas Pani, Georg Weissenbacher, Florian Zuleger:
Thread-modular counter abstraction: automated safety and termination proofs of parameterized software by reduction to sequential program verification. 108-145
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/GangulyMB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GangulyMB24
Ritam Ganguly, Anik Momtaz, Borzoo Bonakdarpour:
Runtime verification of partially-synchronous distributed system. 146-177
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BakDSTVW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BakDSTVW24
Stanley Bak, Taylor Dohmen, K. Subramani, Ashutosh Trivedi, Alvaro Velasquez, Piotr Wojciechowski:
The hexatope and octatope abstract domains for neural network verification. 178-199
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/KanCSL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/KanCSL24
Shuanglong Kan, Zhe Chen, David Sanán, Yang Liu:
Formally understanding Rust's ownership and borrowing system at the memory level. 200-236
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/BilaD24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/BilaD24
Eleni Vafeiadi Bila, Brijesh Dongol:
A verified durable transactional mutex lock for persistent x86-TSO. 237-282

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.