JMOCHA: A Model Checking Tool that Exploits Design Structure. Alur, R., de Alfaro, L., Grosu, R., Henzinger, T. A., Kang, M., Kirsch, C. M., Majumdar, R., Mang, F. Y. C., & Wang, B. In Müller, H. A., Harrold, M. J., & Schäfer, W., editors, ICSE, pages 835-836, 2001. IEEE Computer Society.
JMOCHA: A Model Checking Tool that Exploits Design Structure. [link]Link  JMOCHA: A Model Checking Tool that Exploits Design Structure. [link]Paper  bibtex   
@inproceedings{conf/icse/AlurAGHKKMMW01,
  added-at = {2023-03-23T00:00:00.000+0100},
  author = {Alur, Rajeev and de Alfaro, Luca and Grosu, Radu and Henzinger, Thomas A. and Kang, M. and Kirsch, Christoph M. and Majumdar, Rupak and Mang, Freddy Y. C. and Wang, Bow-Yaw},
  biburl = {https://www.bibsonomy.org/bibtex/20a3ad53962aa525e6da5affc02b1efb1/dblp},
  booktitle = {ICSE},
  crossref = {conf/icse/2001},
  editor = {Müller, Hausi A. and Harrold, Mary Jean and Schäfer, Wilhelm},
  ee = {https://doi.ieeecomputersociety.org/10.1109/ICSE.2001.919196},
  interhash = {066a1e40d5c29cec270426ee2f2902ee},
  intrahash = {0a3ad53962aa525e6da5affc02b1efb1},
  isbn = {0-7695-1050-7},
  keywords = {dblp},
  pages = {835-836},
  publisher = {IEEE Computer Society},
  timestamp = {2024-04-10T05:36:35.000+0200},
  title = {JMOCHA: A Model Checking Tool that Exploits Design Structure.},
  url = {http://dblp.uni-trier.de/db/conf/icse/icse2001.html#AlurAGHKKMMW01},
  year = 2001
}

Downloads: 0