Automating the verification of floating-point programs

From MaRDI portal
Publication:1630033

DOI10.1007/978-3-319-72308-2_7zbMath1403.68223OpenAlexW2741979953MaRDI QIDQ1630033

Clément Fumex, Claude Marché, Yannick Moy

Publication date: 7 December 2018

Full work available at URL: https://hal.inria.fr/hal-01534533/file/article.pdf



Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).


Related Items (1)

Deductive verification of floating-point Java programs in KeY


Uses Software



This page was built for publication: Automating the verification of floating-point programs

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1630033&oldid=13938442"
Powered by MediaWiki