scholarly journals Model Checking of Automotive Control Software: An Industrial Approach

2020 ◽  
Vol E103.D (8) ◽  
pp. 1794-1805
Author(s):  
Masahiro MATSUBARA ◽  
Tatsuhiro TSUCHIYA
Keyword(s):  
Model Checking ◽  
Control Software ◽  
Automotive Control ◽  
Automotive Control Software

Application of Model Checking to Automotive Control Software with Slicing Technique

2013 ◽  
Author(s):  
Masahiro Matsubara ◽  
Kohei Sakurai ◽  
Fumio Narisawa ◽  
Masushi Enshoiwa ◽  
Yoshio Yamane ◽  
...  
Keyword(s):  
Model Checking ◽  
Control Software ◽  
Automotive Control ◽  
Automotive Control Software

Validating Automotive Control Software Using Instrumentation-Based Verification

2009 ◽  
Author(s):  
Arnab Ray ◽  
Iris Morschhaeuser ◽  
Chris Ackermann ◽  
Rance Cleaveland ◽  
Charles Shelton ◽  
...  
Keyword(s):  
Control Software ◽  
Automotive Control ◽  
Automotive Control Software
Sign in / Sign up

Export Citation Format

Share Document