Akbarpour, Behzad; Tahar, Sofiène Error analysis of digital filters using HOL theorem proving. (English) Zbl 1133.68422 J. Appl. Log. 5, No. 4, 651-666 (2007). MSC: 68T15 × Cite Format Result Cite Review PDF Full Text: DOI Link
Akbarpour, Behzad; Tahar, Sofiène; Dekdouk, Abdelkader Formalization of fixed-point arithmetic in HOL. (English) Zbl 1085.68148 Form. Methods Syst. Des. 27, No. 1-2, 173-200 (2005). MSC: 68T15 × Cite Format Result Cite Review PDF Full Text: DOI Link
Akbarpour, Behzad; Dekdouk, Abdelkader; Tahar, Sofiène Formalization of cadence SPW fixed-point arithmetic in HOL. (English) Zbl 1057.68677 Butler, Michael (ed.) et al., Integrated formal methods. 3rd international conference, IFM 2002, Turku, Finland, May 15–18, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43703-7). Lect. Notes Comput. Sci. 2335, 185-204 (2002). MSC: 68T15 68Q60 × Cite Format Result Cite Review PDF Full Text: Link