Studying the Numerical Quality of an Industrial Computing Code: A Case Study on Code_aster

François Févotte, Bruno Lathuilière. Studying the Numerical Quality of an Industrial Computing Code: A Case Study on Code_aster. In Alessandro Abate, Sylvie Boldo, editors, Numerical Software Verification - 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings [collocated with CAV 2017]. Volume 10381 of Lecture Notes in Computer Science, pages 61-80, Springer, 2017. [doi]

Abstract

Abstract is missing.