Modeling for Verification

Sanjit A. Seshia, Natasha Sharygina, and Stavros Tripakis. Modeling for Verification. In Edmund M. Clarke, Thomas Henzinger, and Helmut Veith, editors, Handbook of Model Checking, Springer, 2014.

Download

[pdf] 

Abstract

(unavailable)

BibTeX

@incollection{seshia-hbmc14,
  author    = "Sanjit A. Seshia and Natasha Sharygina and Stavros Tripakis",
  title     = "Modeling for Verification",
  booktitle = "Handbook of Model Checking",
  publisher = "Springer",
  chapter   = 3,
  editor    = "Edmund M. Clarke and Thomas Henzinger and Helmut Veith",
  year      = 2014,
}

Generated by bib2html.pl (written by Patrick Riley ) on Sun Jun 29, 2014 20:03:12