Haitao ZHANG


Verifying OSEK/VDX Applications: A Sequentialization-Based Model Checking Approach
Haitao ZHANG Toshiaki AOKI Yuki CHIBA 
Publication:   IEICE TRANSACTIONS on Information and Systems
Publication Date: 2015/10/01
Vol. E98-D  No. 10  pp. 1765-1776
Type of Manuscript:  PAPER
Category: Software System
Keyword: 
OSEK/VDX applicationsFormal Software Verificationdeterministic schedulersequentialization
 Summary | Full Text:PDF(709.8KB)