Formal Methods in System Design - Editor's Choice Papers 2021

To celebrate the breadth and quality of articles published in Formal Methods and Signal Processing, the Editor-in-Chief has nominated three of his favorite articles from the past few years. Please enjoy free access to this list of quality papers for the month of January, courtesy of our Editor-in-Chief.

Boolean functional synthesis: hardness and practical algorithms
S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal & Shetal Shah

Model checking boot code from AWS data centers

Byron Cook, Kareem Khazem, Daniel Kroening, Serdar Tasiran, Michael Tautschnig & Mark R. Tuttle 

Certifying proofs for SAT-based model checking
Alberto Griggio, Marco Roveri & Stefano Tonetta