Application of static analyses for state-space reduction to the microcontroller binary code-Reference-Cited by-同舟云学术

Application of static analyses for state-space reduction to the microcontroller binary code

Published:2011-02 Issue:2 Volume:76 Page:100-118
ISSN:0167-6423
Container-title:Science of Computer Programming
language:en
Short-container-title:Science of Computer Programming

Author:

Schlich Bastian,Brauer Jörg,Kowalewski Stefan

Publisher

Elsevier BV

Subject

Software

Reference45 articles.

1. Atmel Corporation, July 2008, 8-bit AVR Instruction Set. URL: http://www.atmel.com/dyn/resources/prod_documents/doc0856.pdf.

2. Atmel Corporation, June 2008, Datasheet: ATmega16. URL: http://www.atmel.com/dyn/resources/prod_documents/doc2466.pdf.

3. Principles of Model Checking;Baier,2008

4. WYSINWYX: what you see is not what you execute;Balakrishnan,2008

5. Bebop: a symbolic model checker for boolean programs;Ball,2000

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

1. An Efficient Reduction of Timer Interrupts for Model Checking of Embedded Assembly Programs;Electronics;2024-01-22

2. Integrating pattern matching and abstract interpretation for verifying cautions of microcontrollers;Software Testing, Verification and Reliability;2021-08-19

3. Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs;2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE);2020-12-02

4. Verification Method of Safety Properties of Embedded Assembly Program by Combining SMT-Based Bounded Model Checking and Reduction of Interrupt Handler Executions;Electronics;2020-06-27

5. SMT-Based Bounded Model Checking of Embedded Assembly Program with Interruptions;2019 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech);2019-08