AFM17:BibTeX Entries

Volume

@proceedings{AFM17,
  title     = {Automated Formal Methods},
  editor    = {Natarajan Shankar and Bruno Dutertre},
  series    = {Kalpa Publications in Computing},
  volume    = {5},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762}}

Papers

@inproceedings{AFM17:SMT_for_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},
  pages     = {1--18},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/b6HD},
  doi       = {10.29007/djdz}}

@inproceedings{AFM17:Moving_Needle_on_Rigorous,
  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},
  pages     = {19--30},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/8RHt},
  doi       = {10.29007/f4f3}}

@inproceedings{AFM17:On_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},
  pages     = {31--49},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/dl43},
  doi       = {10.29007/spwm}}

@inproceedings{AFM17:More_Automated_Formal_Methods,
  author    = {Arun Chakrapani Rao},
  title     = {More Automated Formal Methods?! If so, why, where \textbackslash{}\& how?},
  booktitle = {Automated Formal Methods},
  editor    = {Natarajan Shankar and Bruno Dutertre},
  series    = {Kalpa Publications in Computing},
  volume    = {5},
  pages     = {50--62},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/px3h},
  doi       = {10.29007/k317}}

@inproceedings{AFM17:Salsa_An_Automatic_Tool,
  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},
  pages     = {63--76},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/x58n},
  doi       = {10.29007/j2fd}}

@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},
  pages     = {77--92},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/DXzD},
  doi       = {10.29007/jt21}}

@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},
  pages     = {93--108},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/g1Rs},
  doi       = {10.29007/5jlw}}

@inproceedings{AFM17:Brief_Introduction_to_PVS2C,
  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},
  pages     = {109--116},
  year      = {2018},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {https://easychair.org/publications/paper/Rzxm},
  doi       = {10.29007/v7k2}}