Cargando…

Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system

Detalles Bibliográficos
Autores principales:	Boldo, Sylvie, Melquiond, Guillaume
Lenguaje:	eng
Publicado:	Elsevier Science 2017
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/2297841

Ejemplares similares

Microprogrammed floating-point arithmetic for the Varian-73 computer
por: Frenckner, K, et al.
Publicado: (1977)

Handbook of Floating-Point Arithmetic
por: Muller, Jean-Michel, et al.
Publicado: (2010)

Handbook of floating-point arithmetic
por: Muller, Jean-Michel, et al.
Publicado: (2018)

Computer arithmetic algorithms
por: Koren, Israel
Publicado: (2001)

Formal verification of floating-point hardware design: a mathematical approach
por: Russinoff, David M, et al.
Publicado: (2018)

Algorithm. Accurate Floating Point Summation
por: Erskine, George A
Publicado: (1973)

Algorithms and design methods for digital computer arithmetic
por: Parhami, Behrooz
Publicado: (2012)

Arithmetic and logic in computer systems
por: Lu, Mi
Publicado: (2004)

QED at large: a survey of engineering of formally verified software
por: Ringer, Talia, et al.
Publicado: (2019)

Computer arithmetic
por: Erskine, George A
Publicado: (1976)

The logic of computer arithmetic
por: Flores, Ivan
Publicado: (1963)

Advanced computer arithmetic design
por: Flynn, Michael J, et al.
Publicado: (2001)

Design of arithmetic units for digital computers
por: Gosling, John B
Publicado: (1980)

Towards verified systems
por: Bowen, J
Publicado: (2013)

Computer arithmetic and validity: theory, implementation, and applications
por: Kulisch, Ulrich
Publicado: (2008)

Privately and publicly verifiable computing techniques: a survey
por: Demirel, Denise, et al.
Publicado: (2017)

Digital arithmetic
por: Ercegovac, Miloš D, et al.
Publicado: (2003)

Formal languages and computation : models and their applications
por: Meduna, Alexander
Publicado: (2014)

Error coding for arithmetic processors
por: Rao, Thammavarapu R N
Publicado: (1974)

Digital circuits for binary arithmetic
por: Oberman, Roelof Maarten Marie
Publicado: (1979)

Introduction to automata theory, formal languages and computation
por: Kandar, Shyamalendu
Publicado: (2013)

The handbook of formal methods in human-computer interaction
por: Weyers, Benjamin, et al.
Publicado: (2017)

Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B
por: Dupont, Guillaume, et al.
Publicado: (2020)

CSS floating
por: Meyer, Eric A
Publicado: (2016)

A theory of program correctness, and algorithms for proofs
por: Gabriel, J R, et al.
Publicado: (1987)

Evaluating Google Compute Engine with PROOF
por: Ganis, Gerardo, et al.
Publicado: (2014)

Software Aspects of IEEE Floating-Point Computations for Numerical Applications in High Energy Physics
por: Arnold, Jeffrey
Publicado: (2010)

Algebraic formalization of smart systems: theory and practice
por: Serdyukova, Natalia, et al.
Publicado: (2018)

SystemVerilog assertions handbook: for dynamic and formal verification
por: Cohen, Ben, et al.
Publicado: (2016)

Formal system verification: state-of the-art and future trends
por: Drechsler, Rolf
Publicado: (2017)

The automatic analysis of formal real-time system specifications
por: Quirk, W J
Publicado: (1978)

Introduction to formal grammars
por: Gross, Maurice, et al.
Publicado: (1970)

IFIP Working Conference on Theoretical and Formal Aspects of Information Systems
por: Bubenko, Janis, et al.
Publicado: (1985)

Probabilistic proof systems: a primer
por: Goldreich, Oded
Publicado: (2008)

An introduction to formal languages and automata
por: Linz, Peter
Publicado: (2017)

Formal languages and automata theory
por: Sunitha, K V N, et al.
Publicado: (2015)

Automatentheorie und formale Sprachen
por: Hotz, Günter, et al.
Publicado: (1968)

Formal Verification of Neural Networks
por: Sommart, Thanapong
Publicado: (2023)

Formal models, languages and applications
por: Subramanian, K G, et al.
Publicado: (2006)

Verifiable composition of signature and encryption: a comprehensive study of the design paradigms
por: El Aimani, Laila
Publicado: (2017)

Cannot write session to /tmp/vufind_sessions/sess_o4l7v5hvl58l5podtnt7bkqnl7