AFM17: Author Index

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