Loading...
Please wait, while we are loading the content...
Similar Documents
Hardware-independent proofs of numerical programs
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Boldo, Sylvie |
| Copyright Year | 2010 |
| Description | On recent architectures, a numerical program may give different answers depending on the execution hardware and the compilation. Our goal is to formally prove properties about numerical programs that are true for multiple architectures and compilers. We propose an approach that states the rounding error of each floating-point computation whatever the environment. This approach is implemented in the Frama-C platform for static analysis of C code. Small case studies using this approach are entirely and automatically proved |
| File Size | 1015487 |
| Page Count | 10 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_20100018555 |
| Archival Resource Key | ark:/13960/t7wm68c7w |
| Language | English |
| Publisher Date | 2010-04-01 |
| Access Restriction | Open |
| Subject Keyword | Mathematical And Computer Sciences (general) Computation Computer Techniques Computer Systems Performance Floating Point Arithmetic Software Reliability Program Verification Computers Personal Computers Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Article |
