Volume
@proceedings{AFM17,
title = {Automated Formal Methods},
editor = {Natarajan Shankar and Bruno Dutertre},
series = {Kalpa Publications in Computing},
volume = {5},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
year = {2018}}
Papers
@inproceedings{AFM17:SMT_state_based_formal,
author = {Paolo Arcaini and Angelo Gargantini and Elvinia Riccobene},
title = {SMT for state-based formal methods: the ASM case study},
booktitle = {Automated Formal Methods},
editor = {Natarajan Shankar and Bruno Dutertre},
series = {Kalpa Publications in Computing},
volume = {5},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/b6HD},
doi = {10.29007/djdz},
pages = {1-18},
year = {2018}}
@inproceedings{AFM17:Moving_Needle_Rigorous_Floating,
author = {Marek Baranowski and Ian Briggs and Wei-Fan Chiang and Ganesh Gopalakrishnan and Zvonimir Rakamaric and Alexey Solovyev},
title = {Moving the Needle on Rigorous Floating-Point Precision Tuning},
booktitle = {Automated Formal Methods},
editor = {Natarajan Shankar and Bruno Dutertre},
series = {Kalpa Publications in Computing},
volume = {5},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/8RHt},
doi = {10.29007/f4f3},
pages = {19-30},
year = {2018}}
@inproceedings{AFM17:Conflict_Driven_Reasoning,
author = {Maria Paola Bonacina},
title = {On Conflict-Driven Reasoning},
booktitle = {Automated Formal Methods},
editor = {Natarajan Shankar and Bruno Dutertre},
series = {Kalpa Publications in Computing},
volume = {5},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/dl43},
doi = {10.29007/spwm},
pages = {31-49},
year = {2018}}
@inproceedings{AFM17:More_Automated_Formal_Methods?!,
author = {Arun Chakrapani Rao},
title = {More Automated Formal Methods?! If so, why, where & how?},
booktitle = {Automated Formal Methods},
editor = {Natarajan Shankar and Bruno Dutertre},
series = {Kalpa Publications in Computing},
volume = {5},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/px3h},
doi = {10.29007/k317},
pages = {50-62},
year = {2018}}
@inproceedings{AFM17:Salsa_Automatic_Tool_Improve,
author = {Nasrine Damouche and Matthieu Martel},
title = {Salsa: An Automatic Tool to Improve the Numerical Accuracy of Programs},
booktitle = {Automated Formal Methods},
editor = {Natarajan Shankar and Bruno Dutertre},
series = {Kalpa Publications in Computing},
volume = {5},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/x58n},
doi = {10.29007/j2fd},
pages = {63-76},
year = {2018}}
@inproceedings{AFM17:Measurement_Library_Representing_Physical,
author = {Ashlie B. Hocking and M. Anthony Aiello},
title = {The Measurement Library: Representing Physical Types in PVS},
booktitle = {Automated Formal Methods},
editor = {Natarajan Shankar and Bruno Dutertre},
series = {Kalpa Publications in Computing},
volume = {5},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/DXzD},
doi = {10.29007/jt21},
pages = {77-92},
year = {2018}}
@inproceedings{AFM17:MINERVA_Software_Development_Process,
author = {Anthony Narkawicz and Cesar Munoz and Aaron Dutle},
title = {The MINERVA Software Development Process},
booktitle = {Automated Formal Methods},
editor = {Natarajan Shankar and Bruno Dutertre},
series = {Kalpa Publications in Computing},
volume = {5},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/g1Rs},
doi = {10.29007/5jlw},
pages = {93-108},
year = {2018}}
@inproceedings{AFM17:Brief_Introduction_PVS2C_Code,
author = {Natarajan Shankar},
title = {A Brief Introduction to the PVS2C Code Generator},
booktitle = {Automated Formal Methods},
editor = {Natarajan Shankar and Bruno Dutertre},
series = {Kalpa Publications in Computing},
volume = {5},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {/publications/paper/Rzxm},
doi = {10.29007/v7k2},
pages = {109-116},
year = {2018}}