Wave Equation Numerical Resolution: A Comprehensive Mechanized Proof of a C Program
Work
Year: 2012
Type: article
Source: Journal of Automated Reasoning
Authors Sylvie Boldo, François Clément, Jean-Christophe Filliâtre, Micaela Mayero, Guillaume Melquiond +1 more
Institutions Université Paris-Sud, Laboratoire de Recherche en Informatique, Université Sorbonne Paris Nord, Laboratoire d'Informatique de Paris-Nord, Laboratoire de l'Informatique du Parallélisme +1 more
Cites: 58
Cited by: 69
Related to: 10
FWCI: 5.187
Citation percentile (by year/subfield): 99.99
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green