Found 9 Documents (Results 1–9)
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
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
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).
Filter Results by …
Document Type
- Journal Articles (8)
- Collection Articles (1)
all
top 5
Author
- Boldo, Sylvie (3)
- Bouissou, Olivier (2)
- Chapoutot, Alexandre (2)
- Melquiond, Guillaume (2)
- Seladji, Yassamine (2)
- Becker, Stephen R. (1)
- Ben Sassi, Mohamed Amin (1)
- Bobot, François (1)
- Clément, François (1)
- Duracz, Jan (1)
- Dutle, Aaron M. (1)
- Filliâtre, Jean-Christophe (1)
- Gronski, Jessica A. (1)
- Jourdan, Jacques-Henri (1)
- Konečný, Michal (1)
- Leroy, Xavier (1)
- Marché, Claude (1)
- Mayero, Micaela (1)
- Moscato, Mariano M. (1)
- Muñoz, César A. (1)
- Sankaranarayanan, Sriram (1)
- Siegel, Stephen F. (1)
- Titolo, Laura (1)
- Weis, Pierre (1)
- Zirkel, Timothy K. (1)
all
top 3
Software
- ASTREE (9)
- Coq (4)
- Gappa (4)
- Why3 (4)
- ACSL (3)
- Caduceus (3)
- KRAKATOA (3)
- cvc3 (3)
- z3 (3)
- Aspic (2)
- FAST (2)
- Flocq (2)
- Frama-C (2)
- PVS (2)
- ACL2 (1)
- Ada95 (1)
- Apron (1)
- BARON (1)
- Bonmin (1)
- CIL (1)
- CVX (1)
- CompCert (1)
- Couenne (1)
- Gurobi (1)
- ISP (1)
- Ipopt (1)
- Isabelle/HOL (1)
- JML (1)
- KLEE (1)
- LBFGS-B (1)
- MARMOT (1)
- MPI (1)
- MetiTarski (1)
- Mizar (1)
- PENNON (1)
- PPL (1)
- PRECiSA (1)
- PolyPaver (1)
- PolySpace (1)
- QCQP (1)
- QEPCAD (1)
- RSOLVER (1)
- RealPaver (1)
- SPARK (1)
- SeDuMi (1)
- SpaceEx (1)
- Spec# (1)
- TVOC (1)
- WhyML (1)
- mctoolbox (1)