- Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl. Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations. Formal Methods in System Design, 57(2):157-177, 2021.
- Aina Niemetz, Mathias Preiner, Andrew Reynolds 0001, Clark W. Barrett, Cesare Tinelli. On solving quantified bit-vector constraints using invertibility conditions. Formal Methods in System Design, 57(1):87-115, 2021.
- Marta Kwiatkowska, Gethin Norman, David Parker 0001, Gabriel Santos. Automatic verification of concurrent stochastic systems. Formal Methods in System Design, 58(1):188-250, 2021.
- Oded Padon, Jochen Hoenicke, Kenneth L. McMillan, Andreas Podelski, Mooly Sagiv, Sharon Shoham. Temporal prophecy for proving temporal properties of infinite-state systems. Formal Methods in System Design, 57(2):246-269, 2021.
- Alberto Griggio, Marco Roveri, Stefano Tonetta. Certifying proofs for SAT-based model checking. Formal Methods in System Design, 57(2):178-210, 2021.
- Michael Blondin, Javier Esparza, Stefan Jaax, Philipp J. Meyer. Towards efficient verification of population protocols. Formal Methods in System Design, 57(3):305-342, 2021.
- S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal, Shetal Shah. Boolean functional synthesis: hardness and practical algorithms. Formal Methods in System Design, 57(1):53-86, 2021.
- Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour. Gray-box monitoring of hyperproperties with an application to privacy. Formal Methods in System Design, 58(1):126-159, 2021.
- Nikolaj Bjørner, Arie Gurfinkel. Preface of the special issue on the conference on formal methods in computer aided design 2018. Formal Methods in System Design, 57(2):119-120, 2021.
- Rekha R. Pai, Abhishek Singh, Deepak D'Souza, Meenakshi D'Souza, Prathibha Prakash. Static analysis for detecting high-level races in RTOS kernels. Formal Methods in System Design, 58(1):294-321, 2021.