PERTS: A Graphical Environment for the Specification and Verification of Reactive Systems

A. K. Bhattacharjee, S. D. Dhodapkar, Sanjit A. Seshia, and R. K. Shyamasundar. PERTS: A Graphical Environment for the Specification and Verification of Reactive Systems. Journal of Reliability Engineering and System Safety, 71(3):299–310, 2001. (Corrigendum in vol. 72(2), page 223.)

Download

(unavailable)

Abstract

(unavailable)

BibTeX

@Article{BDSS-jress01,
  author    = {A. K. Bhattacharjee and
               S. D. Dhodapkar and
               Sanjit A. Seshia and
               R. K. Shyamasundar},
  title = 	 {{PERTS}: A Graphical Environment for the Specification and Verification
               of Reactive Systems},
  journal = 	 {Journal of Reliability Engineering and System Safety},
  year = 	 {2001},
  OPTkey = 	 {},
  volume = 	 {71},
  number = 	 {3},
  pages = 	 {299--310},
  OPTmonth = 	 {},
  note = 	 {(Corrigendum in vol. 72(2), page 223.)},
}