Verifying digital systems with MATLAB-Reference-Cited by-同舟云学术

Verifying digital systems with MATLAB

Published:2017-07-10 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis
language:
Short-container-title:

Author:

Chaves Lennon¹,Bessa Iury¹,Cordeiro Lucas²,Kroening Daniel²,Lima Eddie³

Affiliation:

1. Federal University of Amazonas, Brazil

2. University of Oxford, UK

3. Samsung Electronics, Brazil

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3092703.3098228

Reference12 articles.

1. K.J. Åström and B. Wittenmark. 1997. Computer-controlled systems: theory and design. Prentice Hall Upper Saddle River New Jersey. K.J. Åström and B. Wittenmark. 1997. Computer-controlled systems: theory and design. Prentice Hall Upper Saddle River New Jersey.

2. Verification of fixed-point digital controllers using direct and delta forms realizations

3. L. Chaves I. Bessa and L. Cordeiro. 2016. DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems. Technical Report. arXiv. L. Chaves I. Bessa and L. Cordeiro. 2016. DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems. Technical Report. arXiv.

4. SMT-Based Bounded Model Checking for Embedded ANSI-C Software

5. Paulo Diniz Sergio Netto and Eduardo Da Silva. 2002. Digital Signal Processing: System Analysis and Design. Cambridge University Press. Paulo Diniz Sergio Netto and Eduardo Da Silva. 2002. Digital Signal Processing: System Analysis and Design. Cambridge University Press.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Simulink Compiler Testing via Configuration Diversification With Reinforcement Learning;IEEE Transactions on Reliability;2023

2. SLEMI;Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering;2020-06-27

3. Formal Non-fragile Verification of Step Response Requirements for Digital State-Feedback Control Systems;Journal of Control, Automation and Electrical Systems;2020-02-05

4. An Efficient Floating-Point Bit-Blasting API for Verifying C Programs;Lecture Notes in Computer Science;2020

5. Bounded invariance checking of simulink models;Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing;2019-04-08