CHET: A System for Checking Dynamic Specifications

@inproceedings{Reiss:ASE04,
  author    = {Steven P. Reiss},
  title     = {{CHET:} A System for Checking Dynamic Specifications},
  booktitle = {ASE},
  pages     = {302--305},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
}