AppFM@FM

Keyphrases

Publications

2021

Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene
Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA. AppFM@FM (2021)
Lorenzo Capra
A Maude Implementation of Rewritable Petri Nets: a Feasible Model for Dynamically Reconfigurable Systems. AppFM@FM (2021)
Salwa Souaf, Frédéric Loulergue
Experience Report: Teaching Code Analysis and Verification Using Frama-C. AppFM@FM (2021)
Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe
Is CADP an Applicable Formal Method? AppFM@FM (2021)
Carolina Carreira, João F. Ferreira, Alexandra Mendes, Nicolas Christin
Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda. AppFM@FM (2021)
Yu-Shan Sun, Daniel Welch, Murali Sitaraman
F-IDEs with Features and VCs Designed to Assist Human Reasoning When Verification Fails. AppFM@FM (2021)

volume 349, 2021

Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021. AppFM@FM 349 (2021)