Papers of the Month: April 2026

EACH MONTH, THE FORMAL METHODS AND TOOLS (FMT) GROUP SELECTS PAPERS - AND PERFORMANCES IN THE MEDIA - TO HIGHLIGHT. FOR THIS MONTH, THEY'VE CHOSEN:

• Concise Guide to Fault Tree Analysis: Models, Methods and Algorithms (Computer Science Foundations and Applied Logic), by Mariëlle Stoelinga (Author), Enno Ruijters (Author), Pavel Krčál. See Concise Guide to Fault Tree Analysis: Models, Methods and Algorithms | Springer Nature Link
• Visualising CTL witnesses and counterexamples, by Arend Rensink. Accepted for SPIN 2026 (Model Checking Software)
• Decoding the Cost: A Phase-Level Analysis of LLM Inference in Software Development, by Fernando Castor and Lola Solovyeva. Accepted for EASE
• Predicate Subtypes in VerCors, by Tycho Dubbeling, Marieke Huisman, Ömer Sakar. Accepted for Places 2026
• SoK: Systematization, Detection, and Hunting of Windows Malware Persistence Techniques, by Jorik van Nielen, Andrea Oliveri, Jerre Starink, Andreas Peter, Marieke Huisman, Simone Aonzo, Davide Balzarotti and Andrea Continella. Accepted for AsiaCCS 2026