Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models. Kanade, A., Alur, R., Ivancic, F., Ramesh, S., Sankaranarayanan, S., & Shashidhar, K. C. In Proceedings of Computer Aided Verification (CAV), pages 430-445, 2009.
Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models [link]Paper  bibtex   
@inproceedings{ dblp2940165,
  title = {Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models},
  author = {Aditya Kanade and Rajeev Alur and Franjo Ivancic and S. Ramesh and Sriram Sankaranarayanan and K. C. Shashidhar},
  author_short = {Kanade, A. and Alur, R. and Ivancic, F. and Ramesh, S. and Sankaranarayanan, S. and Shashidhar, K. C.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2009},
  key = {dblp2940165},
  id = {dblp2940165},
  biburl = {http://www.dblp.org/rec/bibtex/conf/cav/KanadeAIRSS09},
  url = {http://dx.doi.org/10.1007/978-3-642-02658-4_33},
  conference = {CAV},
  pages = {430-445},
  text = {CAV 2009:430-445},
  booktitle = {Proceedings of Computer Aided Verification (CAV)}
}

Downloads: 0