Model Checking of Embedded Assembly Program Based on Simulation

Title
Model Checking of Embedded Assembly Program Based on Simulation
Authors
Keywords
-
Journal
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS
Volume E100.D, Issue 8, Pages 1819-1826
Publisher
Institute of Electronics, Information and Communications Engineers (IEICE)
Online
2017-08-01
DOI
10.1587/transinf.2016edp7452

Ask authors/readers for more resources

Discover Peeref hubs

Discuss science. Find collaborators. Network.

Join a conversation

Become a Peeref-certified reviewer

The Peeref Institute provides free reviewer training that teaches the core competencies of the academic peer review process.

Get Started