|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Verifying Business Rules Using Model-Checking Techniques for Non-specialist in Model-Checking
Yoshitaka AOKI Saeko MATSUURA | Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2014/05/01
Vol. E97-D
No. 5 ;
pp. 1097-1108
Type of Manuscript:
Special Section PAPER (Special Section on Knowledge-Based Software Engineering)
Category:
Keyword:
model checking, UPPAAL, Eclipse, | | | Summary | Full Text:PDF | |
|
|
|
|
|
Model Checking an OSEK/VDX-Based Operating System for Automobile Safety Analysis
Yunja CHOI | Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2013/03/01
Vol. E96-D
No. 3 ;
pp. 735-738
Type of Manuscript:
LETTER
Category: Dependable Computing
Keyword:
OSEK/VDX, Trampoline, model checking, safety analysis, | | | Summary | Full Text:PDF | |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Coverage Estimation Using Transition Perturbation for Symbolic Model Checking in Hardware Verification
Xingwen XU Shinji KIMURA Kazunari HORIKAWA Takehiko TSUCHIYA | Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
Publication Date: 2006/12/01
Vol. E89-A
No. 12 ;
pp. 3451-3457
Type of Manuscript:
Special Section PAPER (Special Section on VLSI Design and CAD Algorithms)
Category: Simulation and Verification
Keyword:
model checking, transition coverage, | | | Summary | Full Text:PDF | |
|
|
|
|
|
|
|
|
|
|
|
|
|