Volume 60, Issue 2 | Formal Methods in System Design

Search all Formal Methods in System Design articles

Volume 60, Issue 2

April 2022

Filter by

Volume:

Sort by

Date published:

New to old Old to new

7 articles in this issue

Interpolation with guided refinement: revisiting incrementality in SAT-based unbounded model checking
G. Cabodi
P. E. Camurati
P. Pasini
OriginalPaper 08 December 2022 Pages: 117 - 146
Control strategies for off-line testing of timed systems
Léo Henry
Thierry Jéron
Nicolas Markey
OriginalPaper 09 January 2023 Pages: 147 - 194
LTL model checking of self modifying code
Tayssir Touili
Xin Ye
OriginalPaper 14 February 2023 Pages: 195 - 227
Functional synthesis via input–output separation
Supratik Chakraborty
Dror Fried
Moshe Y. Vardi
OriginalPaper 09 March 2023 Pages: 228 - 258
Specifiable robustness in reactive synthesis
Roderick Bloem
Hana Chockler
Ofer Strichman
OriginalPaper Open access 23 March 2023 Pages: 259 - 276
Assumption-based Runtime Verification
Alessandro Cimatti
Chun Tian
Stefano Tonetta
OriginalPaper 25 March 2023 Pages: 277 - 324
Correction: Parameterized verification of leader/follower systems via first-order temporal logic
G. Kourtis
C. Dixon
A. Lisitsa
Correction Open access 07 February 2023 Pages: 325 - 326