Image de couverture de livre

The pitfalls of verifying floating-point computations

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Monniaux, David
Format:	Preprint
Publié:	2007
Sujets:	Programming Languages Numerical Analysis D.2.4; D.3.1; F.3.1; G.1.0; G.4
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Closure Conversion, Flat Environments, and the Complexity of Abstract Machines
par: Accattoli, Beniamino, et autres
Publié: (2025)

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version)
par: Baier, Daniel, et autres
Publié: (2024)

MoXIchecker: An Extensible Model Checker for MoXI
par: Ates, Salih, et autres
Publié: (2024)

Bottom-up computation using trees of sublists (Functional Pearl)
par: Mu, Shin-Cheng
Publié: (2023)

Verified VCG and Verified Compiler for Dafny
par: Nezamabadi, Daniel, et autres
Publié: (2025)

Precise Reasoning About Container-Internal Pointers with Logical Pinning
par: Guan, Yawen, et autres
Publié: (2025)

Certified Purity for Cognitive Workflow Executors: From Static Analysis to Cryptographic Attestation
par: McCann, Alan L.
Publié: (2026)

Mechanized Foundations of Structural Governance: Machine-Checked Proofs for Governed Intelligence
par: McCann, Alan L.
Publié: (2026)

Accelerating Verified-Compiler Development with a Verified Rewriting Engine
par: Gross, Jason, et autres
Publié: (2022)

Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries
par: McCann, Alan L.
Publié: (2026)

Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries
par: McCann, Alan L.
Publié: (2026)

Compile-Time Tensor Shape Checking via Staged Shape-Dependent Types
par: Suwa, Takashi, et autres
Publié: (2026)

Seamless, Correct, and Generic Programming over Serialised Data
par: Allais, Guillaume
Publié: (2023)

Modelling Distributed Applications with Mixed-Choice Stateful Typestates
par: Parrinha, Francisco, et autres
Publié: (2026)

On the Decidability of Verification under Release/Acquire
par: Conrado, Giovanna Kobus, et autres
Publié: (2026)

Weak-linearity, globality and in-place update
par: Gramaglia, Hector
Publié: (2024)

Summa Summarum: Moessner's Theorem without Dynamic Programming
par: Danvy, Olivier
Publié: (2024)

From Zonotopes to Proof Certificates: A Formal Pipeline for Safe Control Envelopes
par: Hellwig, Jonathan, et autres
Publié: (2025)

Mechanizing Olver's Error Arithmetic
par: Fan, Max, et autres
Publié: (2025)

Interpolation and SAT-Based Model Checking Revisited: Adoption to Software Verification
par: Beyer, Dirk, et autres
Publié: (2022)

Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops
par: Zaiser, Fabian, et autres
Publié: (2024)

The concept of class invariant in object-oriented programming
par: Meyer, Bertrand, et autres
Publié: (2021)

Governed Metaprogramming for Intelligent Systems: Reclassifying Eval as a Governed Effect
par: McCann, Alan L.
Publié: (2026)

Cryptographic Registry Provenance: Structural Defense Against Dependency Confusion in AI Package Ecosystems
par: McCann, Alan L.
Publié: (2026)

Grounded Language Design for Lightweight Diagramming for Formal Methods
par: Prasad, Siddhartha, et autres
Publié: (2024)

Simplifying Safety Proofs with Forward-Backward Reasoning and Prophecy
par: Frenkel, Eden, et autres
Publié: (2026)

A New Interaction Concept for Interactive and Autoactive Program Verification
par: Pfeifer, Wolfram, et autres
Publié: (2026)

Model Checking Probabilistic Operator Precedence Automata
par: Pontiggia, Francesco, et autres
Publié: (2024)

Intent Formalization: A Grand Challenge for Reliable Coding in the Age of AI Agents
par: Lahiri, Shuvendu K.
Publié: (2026)

A Gentle Overview of Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
par: Heuvel, Bas van den, et autres
Publié: (2024)

Baking for Dafny: A CakeML Backend for Dafny
par: Nezamabadi, Daniel, et autres
Publié: (2025)

Constrained LTL Specification Learning from Examples
par: Zhang, Changjian, et autres
Publié: (2024)

Generically Automating Separation Logic by Functors, Homomorphisms and Modules
par: Xu, Qiyuan, et autres
Publié: (2024)

Do Unit Proofs Work? An Empirical Study of Compositional Bounded Model Checking for Memory Safety Verification
par: Amusuo, Paschal C., et autres
Publié: (2025)

QuickCheck for VDM
par: Battle, Nick, et autres
Publié: (2024)

A Unit Proofing Framework for Code-level Verification: A Research Agenda
par: Amusuo, Paschal C., et autres
Publié: (2024)

Stratified Type Theory
par: Chan, Jonathan, et autres
Publié: (2023)

Complementing an imperative process algebra with a rely/guarantee logic
par: Middelburg, C. A.
Publié: (2025)

Probabilistic imperative process algebra
par: Middelburg, C. A.
Publié: (2026)

Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
par: Waldinger, Richard
Publié: (2025)