A Graphical Environment for the Specification and Verification of Reactive Systems

A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, and R. K. Shyamasundar. A Graphical Environment for the Specification and Verification of Reactive Systems. In 18th International Conference on Computer Safety, Reliability and Security (SAFECOMP), pp. 431–444, Lecture Notes in Computer Science 1698, Springer, September 1999.

Download

[pdf]  [ps] 

Abstract

(unavailable)

BibTeX

@inproceedings{BDSS99,
  author    = {A. K. Bhattacharjee and
               S. D. Dhodapkar and
               Sanjit A. Seshia and
               R. K. Shyamasundar},
  title     = {A Graphical Environment for the Specification and Verification
               of Reactive Systems},
  booktitle = {18th International Conference on Computer Safety, Reliability and Security (SAFECOMP)},
  year      = {1999},
  month = {September},
  pages     = {431-444},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1698},
}