@inproceedings{98fb1b514ec5445f8002c72834429b48,
title = "Verification of embedded system by a method for detecting defects in source codes using model checking",
abstract = "We have proposed a method based on model checking for detecting hard-to-discover defects in enterprise systems. We apply our method to embedded system development to easily discover some defects caused by input/output data of the hardware which are influenced by the external environment before the software is integrated into the hardware. This paper discuss the effectiveness of our method using a case study to develop a line tracing robot.",
keywords = "Model checking, Process Modeling, Software debugging, Software tools, system verification",
author = "Yoshitaka Aoki and Saeko Matsuura",
year = "2011",
month = sep,
day = "1",
doi = "10.1109/ISCI.2011.5958972",
language = "English",
isbn = "9781612846903",
series = "ISCI 2011 - 2011 IEEE Symposium on Computers and Informatics",
pages = "530--535",
booktitle = "ISCI 2011 - 2011 IEEE Symposium on Computers and Informatics",
note = "2011 IEEE Symposium on Computers and Informatics, ISCI 2011 ; Conference date: 20-03-2011 Through 22-03-2011",
}