AFM@NFM

Keyphrases

Publications

volume 5, 2018

Automated Formal Methods, AFM@NFM 2017, Moffett Field, CA, USA, May 19-20, 2017. AFM@NFM 5 (2018)

2017

Maria Paola Bonacina
On Conflict-Driven Reasoning. AFM@NFM (2017)
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
SMT for state-based formal methods: the ASM case study. AFM@NFM (2017)
Anthony Narkawicz, César A. Muñoz, Aaron Dutle
The MINERVA Software Development Process. AFM@NFM (2017)
Marek S. Baranowski, Ian Briggs, Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev
Moving the Needle on Rigorous Floating-Point Precision Tuning. AFM@NFM (2017)
Arun Chakrapani Rao
More Automated Formal Methods?! If so, why, where & how? AFM@NFM (2017)
Natarajan Shankar
A Brief Introduction to the PVS2C Code Generator. AFM@NFM (2017)
Ashlie B. Hocking, M. Anthony Aiello
The Measurement Library: Representing Physical Types in PVS. AFM@NFM (2017)
Nasrine Damouche, Matthieu Martel
Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs. AFM@NFM (2017)