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