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,
}