Abstract is missing.
- SMT for state-based formal methods: the ASM case studyPaolo Arcaini, Angelo Gargantini, Elvinia Riccobene. 1-18 [doi]
- Moving the Needle on Rigorous Floating-Point Precision TuningMarek S. Baranowski, Ian Briggs, Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamaric, Alexey Solovyev. 19-30 [doi]
- On Conflict-Driven ReasoningMaria Paola Bonacina. 31-49 [doi]
- More Automated Formal Methods?! If so, why, where & how?Arun Chakrapani Rao. 50-62 [doi]
- Salsa: An Automatic Tool to Improve the Numerical Accuracy of ProgramsNasrine Damouche, Matthieu Martel. 63-76 [doi]
- The Measurement Library: Representing Physical Types in PVSAshlie B. Hocking, M. Anthony Aiello. 77-92 [doi]
- The MINERVA Software Development ProcessAnthony Narkawicz, César A. Muñoz, Aaron Dutle. 93-108 [doi]
- A Brief Introduction to the PVS2C Code GeneratorNatarajan Shankar. 109-116 [doi]