A candid industrial evaluation of formal software verification using model checking

Matthew Bennion, Ibrahim Habli. A candid industrial evaluation of formal software verification using model checking. In Pankaj Jalote, Lionel C. Briand, André van der Hoek, editors, 36th International Conference on Software Engineering, ICSE '14, Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014. pages 175-184, ACM, 2014. [doi]

@inproceedings{BennionH14,
  title = {A candid industrial evaluation of formal software verification using model checking},
  author = {Matthew Bennion and Ibrahim Habli},
  year = {2014},
  doi = {10.1145/2591062.2591184},
  url = {http://doi.acm.org/10.1145/2591062.2591184},
  researchr = {https://researchr.org/publication/BennionH14},
  cites = {0},
  citedby = {0},
  pages = {175-184},
  booktitle = {36th International Conference on Software Engineering, ICSE '14, Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014},
  editor = {Pankaj Jalote and Lionel C. Briand and André van der Hoek},
  publisher = {ACM},
  isbn = {978-1-4503-2768-8},
}