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.






  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 (written by Patrick Riley ) on Sun Jun 21, 2015 12:08:13