Document Search Results

Newest Citations Relevance

Adjé, Assalé; Ben Khalifa, Dorra; Martel, Matthieu

Fast and efficient bit-level precision tuning. (English) Zbl 1497.68105

Drăgoi, Cezara (ed.) et al., Static analysis. 28th international symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12913, 1-24 (2021).

MSC: 68N30 65Y04

Cite Review PDF

Full Text: DOI arXiv

Abbasi, Rosa; Schiffl, Jonas; Darulova, Eva; Ulbrich, Mattias; Ahrendt, Wolfgang

Deductive verification of floating-point Java programs in KeY. (English) Zbl 1474.68186

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12652, 242-261 (2021).

MSC: 68Q60 65G50 68N15

Cite Review PDF

Full Text: DOI arXiv

OA License

Lohar, Debasmita; Jeangoudoux, Clothilde; Sobel, Joshua; Darulova, Eva; Christakis, Maria

A two-phase approach for conditional floating-point verification. (English) Zbl 1474.68191

MSC: 68Q60 65G50 68N30

Cite Review PDF

Full Text: DOI

OA License

Dutle, Aaron; Moscato, Mariano; Titolo, Laura; Muñoz, César; Anderson, Gregory; Bobot, François

Formal analysis of the compact position reporting algorithm. (English) Zbl 1458.68273

Formal Asp. Comput. 33, No. 1, 65-86 (2021).

MSC: 68U35 65Y04 68P30 68Q60 68W40

Cite Review PDF

Full Text: DOI

Gronski, Jessica; Ben Sassi, Mohamed-Amin; Becker, Stephen; Sankaranarayanan, Sriram

Template polyhedra and bilinear optimization. (English) Zbl 1426.65079

Form. Methods Syst. Des. 54, No. 1, 27-63 (2019).

MSC: 65K05 90C25 90C51

Cite Review PDF

Full Text: DOI

Titolo, Laura; Moscato, Mariano M.; Muñoz, César A.; Dutle, Aaron; Bobot, François

A formally verified floating-point implementation of the compact position reporting algorithm. (English) Zbl 1460.68128

Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10951, 364-381 (2018).

MSC: 68U35 65Y04 68P30 68Q60 68W40

Cite Review PDF

Full Text: DOI Link

Solovyev, Alexey; Jacobsen, Charles; Rakamarić, Zvonimir; Gopalakrishnan, Ganesh

Rigorous estimation of floating-point round-off errors with symbolic Taylor expansions. (English) Zbl 1427.65064

Bjørner, Nikolaj (ed.) et al., FM 2015: formal methods. 20th international symposium, Oslo, Norway, June 24–26, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9109, 532-550 (2015).

MSC: 65G50 68W30

Cite Review PDF

Full Text: DOI

Boldo, Sylvie; Jourdan, Jacques-Henri; Leroy, Xavier; Melquiond, Guillaume

Verified compilation of floating-point computations. (English) Zbl 1331.68047

J. Autom. Reasoning 54, No. 2, 135-163 (2015).

MSC: 68N20 65G50 68Q60 68T15

Cite Review PDF

Full Text: DOI HAL

Duracz, Jan; Konečný, Michal

Polynomial function intervals for floating-point software verification. (English) Zbl 1296.65071

Ann. Math. Artif. Intell. 70, No. 4, 351-398 (2014).

MSC: 65G20 68N30 65G30 68T15 65Y04 65-04

Cite Review PDF

Full Text: DOI Link

Boldo, Sylvie; Clément, François; Filliâtre, Jean-Christophe; Mayero, Micaela; Melquiond, Guillaume; Weis, Pierre

Wave equation numerical resolution: a comprehensive mechanized proof of a C program. (English) Zbl 1267.68208

J. Autom. Reasoning 50, No. 4, 423-456 (2013).

MSC: 68T15 35L05 65M22 65G50

Cite Review PDF

Full Text: DOI arXiv HAL

Bouissou, Olivier; Seladji, Yassamine; Chapoutot, Alexandre

Acceleration of the abstract fixpoint computation in numerical program analysis. (English) Zbl 1244.68029

J. Symb. Comput. 47, No. 12, 1479-1511 (2012).

MSC: 68N30 65B99

Cite Review PDF

Full Text: DOI

Siegel, Stephen F.; Zirkel, Timothy K.

FEVS: a functional equivalence verification suite for high-performance scientific computing. (English) Zbl 1264.68066

Math. Comput. Sci. 5, No. 4, 427-435 (2011).

MSC: 68N30 68N19 65D99

Cite Review PDF

Full Text: DOI

Siegel, Stephen F.; Zirkel, Timothy K.

TASS: the toolkit for accurate scientific software. (English) Zbl 1264.68113

Math. Comput. Sci. 5, No. 4, 395-426 (2011).

MSC: 68Q60 68N30 68N19 65D99

Cite Review PDF

Full Text: DOI

Boldo, Sylvie; Marché, Claude

Formal verification of numerical programs: from C annotated programs to mechanical proofs. (English) Zbl 1264.68054

Math. Comput. Sci. 5, No. 4, 377-393 (2011).

MSC: 68N30 68Q60 68N15 65Y04

Cite Review PDF

Full Text: DOI HAL

Bouissou, Olivier; Seladji, Yassamine; Chapoutot, Alexandre

Abstract fixpoint computations with numerical acceleration methods. (English) Zbl 1342.68071

Miné, Antoine (ed.) et al., Proceedings of the 2nd international workshop on numerical and symbolic abstract domains: NSAD 2010, Perpignan, France, September 13, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 267, No. 1, 29-42 (2010).

MSC: 68N30 65B99 68Q55

Cite Review PDF

Full Text: DOI

Gawlitza, Thomas; Leroux, Jérôme; Reineke, Jan; Seidl, Helmut; Sutre, Grégoire; Wilhelm, Reinhard

Polynomial precise interval analysis revisited. (English) Zbl 1258.65048

Albers, Susanne (ed.) et al., Efficient algorithms. Essays dedicated to Kurt Mehlhorn on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-03455-8/pbk). Lecture Notes in Computer Science 5760, 422-437 (2009).

MSC: 65G40

Cite Review PDF

Full Text: DOI HAL

Serebrenik, Alexander; De Schreye, Danny

Termination of floating-point computations. (English) Zbl 1102.65054

J. Autom. Reasoning 34, No. 2, 141-177 (2005).

MSC: 65G50

Cite Review PDF

Full Text: DOI

Found 17 Documents (Results 1–17)

Fast and efficient bit-level precision tuning. (English) Zbl 1497.68105

Deductive verification of floating-point Java programs in KeY. (English) Zbl 1474.68186

A two-phase approach for conditional floating-point verification. (English) Zbl 1474.68191

Formal analysis of the compact position reporting algorithm. (English) Zbl 1458.68273

Template polyhedra and bilinear optimization. (English) Zbl 1426.65079

A formally verified floating-point implementation of the compact position reporting algorithm. (English) Zbl 1460.68128

Rigorous estimation of floating-point round-off errors with symbolic Taylor expansions. (English) Zbl 1427.65064

Verified compilation of floating-point computations. (English) Zbl 1331.68047

Polynomial function intervals for floating-point software verification. (English) Zbl 1296.65071

Wave equation numerical resolution: a comprehensive mechanized proof of a C program. (English) Zbl 1267.68208

Acceleration of the abstract fixpoint computation in numerical program analysis. (English) Zbl 1244.68029

FEVS: a functional equivalence verification suite for high-performance scientific computing. (English) Zbl 1264.68066

TASS: the toolkit for accurate scientific software. (English) Zbl 1264.68113

Formal verification of numerical programs: from C annotated programs to mechanical proofs. (English) Zbl 1264.68054

Abstract fixpoint computations with numerical acceleration methods. (English) Zbl 1342.68071

Polynomial precise interval analysis revisited. (English) Zbl 1258.65048

Termination of floating-point computations. (English) Zbl 1102.65054

Filter Results by …

Document Type

Author

Serial

Year of Publication

Main Field

Software