Found 5 Documents (Results 1–5)
Deciding floating-point logic with abstract conflict driven clause learning. (English) Zbl 1317.68110
Formalization of fixed-point arithmetic in HOL. (English) Zbl 1085.68148
MSC:
68T15
Formal verification of square root algorithms. (English) Zbl 1021.68058
MSC:
68Q65
68T15
Filter Results by …
all
top 5
Author
- Akbarpour, Behzad (1)
- Berg, Christoph (1)
- Brain, Martin (1)
- Dekdouk, Abdelkader (1)
- D’silva, Vijay (1)
- Griggio, Alberto (1)
- Haller, Leopold (1)
- Jacobi, Christian (1)
- Kröning, Daniel (1)
- Roux, Pierre (1)
- Sankaranarayanan, Sriram (1)
- Tahar, Sofiène (1)
- Voronin, Yuen-Lam (1)
Volume
- 53, No. 2 (2018) (1)
- 45, No. 2 (2014) (1)
- 27, No. 1-2 (2005) (1)
- 26, No. 3 (2005) (1)
- 22, No. 2 (2003) (1)
all
top 3
Software
- HOL Light (4)
- ACL2 (2)
- ASTREE (1)
- Apron (1)
- CBMC (1)
- CSDP (1)
- CalCS (1)
- DIMACS (1)
- Decision tree for optimization software (1)
- FRIDGE (1)
- GitHub (1)
- HOL (1)
- ML (1)
- MathSAT5 (1)
- Mosek (1)
- Orbital library (1)
- PVS (1)
- QEPCAD (1)
- REDLOG (1)
- SDPA (1)
- SDPT3 (1)
- SONOLAR (1)
- SPOTless (1)
- SeDuMi (1)
- Simulink (1)
- SystemC (1)
- VSDP (1)
- dReal (1)
- frlib (1)
- z3 (1)