Papers of the Month: March 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:

• Deductive Verification of Weak Memory Programs with View-based Protocols, by Ömer Şakar, Soham Chakraborty, Marieke Huisman and Anton Wijs. Accepted for SPIN2026 - 32nd International Symposium on Model Checking Software, April 15–16, 2026, in Torino, Italy.
• Crash-free Deductive Verifiers, by Wander Nauta, Marcus Gerhold and Marieke Huisman. Accepted for SPIN2026.
• Several presentations by FMT members were accepted for the MISSION@ETAPS workshop, taking place on April 11 at ETAPS in Turin, Italy:
  - BayesL: a Logical Framework for Bayesian Networks by Stefano M. Nicoletti, Ernst Moritz Hahn and Marielle Stoelinga
  - DTMC Benchmark Generation by Mark van Wijk
  - Effective Stochastic Automata Model Checking by Interval Abstraction by Annabell Petri, Arnd Hartmanns and Pedro D'Argenio
  - PICKLES: a Natural Language Framework for Requirement Specification and Model-Based Testing by María Belén Rodríguez and Petra van den Bos
  - The Evolution of Uncertainty-Aware DTN Routing: MISSION-Driven Advances by Juan A. Fraire, Pedro D’Argenio, Renato Cherini, Jorge Finochietto,         Gregory F. Stock, Holger Hermanns and Arnd Hartmanns