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 (this opens in a new tab)
S. Akshay, Supratik Chakraborty, Shubham Goel, Sumith Kulal & Shetal Shah
Model checking boot code from AWS data centers (this opens in a new tab)
Byron Cook, Kareem Khazem, Daniel Kroening, Serdar Tasiran, Michael Tautschnig & Mark R. Tuttle
Certifying proofs for SAT-based model checking (this opens in a new tab)
Alberto Griggio, Marco Roveri & Stefano Tonetta