Cargando…
ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory: (Competition Contribution)
ESBMC is an SMT-based bounded model checker for real-world C programs. Such programs often represent real numbers using the floating-points, most commonly, the IEEE floating-point standard (IEEE 754-2008). Thus, ESBMC now includes a new floating-point arithmetic encoding layer in our SMT backend, th...
Autores principales: | Gadelha, Mikhail R., Menezes, Rafael, Monteiro, Felipe R., Cordeiro, Lucas C., Nicole, Denis |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
2020
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7418142/ http://dx.doi.org/10.1007/978-3-030-45234-6_27 |
Ejemplares similares
-
FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution)
por: Alshmrany, Kaled M., et al.
Publicado: (2021) -
Design of a reversible single precision floating point subtractor
por: Anantha Lakshmi, AV, et al.
Publicado: (2014) -
Map2Check: Using Symbolic Execution and Fuzzing: (Competition Contribution)
por: Rocha, Herbert, et al.
Publicado: (2020) -
Floating-point computation
por: Sterbenz, Pat H
Publicado: (1974) -
Piezoacoustics for precision control of electrons floating on helium
por: Byeon, H., et al.
Publicado: (2021)