Publisher
Springer International Publishing
Reference31 articles.
1. Programming languages – C - Extensions to support embedded processors. EEE, New York (1987). iSO/IEC Technical Report 18037:2008(E)
2. Abreu, R.B., Cordeiro, L.C., Filho, E.B.L.: Verifying fixed-point digital filters using SMT-based bounded model checking. CoRR abs/1305.2892 (2013)
3. Akbarpour, B., Tahar, S., Dekdouk, A.: Formalization of fixed-point arithmetic in HOL. Formal Methods Syst. Des. 27(1–2), 173–200 (2005)
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);A Ayad,2010
5. de Bessa, I.V., Ismail, H.I., Cordeiro, L.C., Filho, J.E.C.: Verification of delta form realization in fixed-point digital controllers using bounded model checking. In: SBESC, pp. 49–54. IEEE (2014)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Analyzing and Optimizing Fixed-Point Operations on a MATLAB Simulink based Motion Control System;2023 10th International Conference on Electrical Engineering, Computer Science and Informatics (EECSI);2023-09-20
2. Eiffel: Inferring Input Ranges of Significant Floating-point Errors via Polynomial Extrapolation;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
3. Tight Error Analysis in Fixed-point Arithmetic;Formal Aspects of Computing;2022-03-31
4. A Prototype for Data Race Detection in CSeq 3;Tools and Algorithms for the Construction and Analysis of Systems;2022
5. Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic;Software Engineering and Formal Methods;2021