Natasha Sharygina, James C. Browne, Fei Xie, Robert P. Kurshan, Vladimir Levin. Lessons Learned from Model Checking a NASA Robot Controller. Formal Methods in System Design, 25(2-3):241-270, 2004. [doi]
@article{SharyginaBXKL04,
title = {Lessons Learned from Model Checking a NASA Robot Controller},
author = {Natasha Sharygina and James C. Browne and Fei Xie and Robert P. Kurshan and Vladimir Levin},
year = {2004},
url = {http://www.springerlink.com/index/10.1023/B:FORM.0000040029.73127.85},
tags = {model checking, meta-model, C++, Meta-Environment},
researchr = {https://researchr.org/publication/SharyginaBXKL04},
cites = {0},
citedby = {0},
journal = {Formal Methods in System Design},
volume = {25},
number = {2-3},
pages = {241-270},
}