Tools and Techniques for Model Checking Networked Programs

Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya, Yoshinori Tanabe. Tools and Techniques for Model Checking Networked Programs. In Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008, In conjunction with Second International Workshop on Advanced Internet Technology and Applications, August 6-8,. pages 852-857, IEEE Computer Society, 2008. [doi]

@inproceedings{ArthoLHT08a,
  title = {Tools and Techniques for Model Checking Networked Programs},
  author = {Cyrille Artho and Watcharin Leungwattanakit and Masami Hagiya and Yoshinori Tanabe},
  year = {2008},
  doi = {10.1109/SNPD.2008.36},
  url = {http://doi.ieeecomputersociety.org/10.1109/SNPD.2008.36},
  tags = {meta programming, model checking, meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/ArthoLHT08a},
  cites = {0},
  citedby = {0},
  pages = {852-857},
  booktitle = {Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008, In conjunction with Second International Workshop on Advanced Internet Technology and Applications, August 6-8,},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-3263-9},
}