|
|
AFM17: Author IndexAuthor | 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 |
|
|
|