Open AccessComparison of Path Exploration and Model Checking Techniques for Checking Automotive API Call Safety
Author(s) -
Dongwoo Kim,
Yunja Choi
Publication year - 2016
Publication title -
kips transactions on software and data engineering
Language(s) - English
Resource type - Journals
eISSN - 2734-0503
pISSN - 2287-5905
DOI - 10.3745/ktsde.2016.5.12.615
Subject(s) - computer science , model checking , automotive industry , constraint (computer aided design) , set (abstract data type) , automaton , software , source code , programming language , code (set theory) , software engineering , theoretical computer science , engineering , mechanical engineering , aerospace engineering
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom