- Anna Becchi, Alessandro Cimatti. Abstraction Modulo Stability. Formal Methods in System Design, 66(2):134-169, August 2025.
- Orna Grumberg, Orna Kupferman, Sarai Sheinvald. Variable automata over infinite alphabets. Formal Methods in System Design, 66(3):376-418, September 2025.
- Einar Broch Johnsen, Manuel Wimmer. Preface for the Formal Methods in System Design special issue on 'FASE 2022'. Formal Methods in System Design, 66(1):1-2, May 2025.
- Marcel Hark, Florian Frohn, Jürgen Giesl. Termination of triangular polynomial loops. Formal Methods in System Design, 65(1):70-132, April 2025.
- Chaitanya Agarwal, Shibashis Guha, Jan Kretínský, M. Pazhamalai. PAC statistical model checking of mean payoff in discrete- and continuous-time MDP. Formal Methods in System Design, 66(2):195-237, August 2025.
- Alberto Griggio, Neha Rungta. Editorial: Special issue on formal methods in computer-aided design. Formal Methods in System Design, 67(1):1-2, October 2025.
- Ocan Sankur. Automatic assume-guarantee reasoning for safety and liveness using passive learning. Formal Methods in System Design, 66(3):498-528, September 2025.
- Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia. Correction: Hypercontracts. Formal Methods in System Design, 66(3):529-530, September 2025.
- Inigo Incer, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia. Hypercontracts. Formal Methods in System Design, 66(3):455-497, September 2025.
- Sung Kook Kim, Arnaud J. Venet, Aditya V. Thakur. Memory-efficient fixpoint computation. Formal Methods in System Design, 65(1):133-162, April 2025.