Model Checking Software Systems: A Case Study

Abstract

article Free Access Share on Model checking software systems: a case study Authors: Jeannette M. Wing Computer Science Department, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, Pennsylvania Computer Science Department, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PennsylvaniaView Profile , Mandana Vaziri-Farahani Electrical and Computer Engineering Department, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, Pennsylvania Electrical and Computer Engineering Department, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PennsylvaniaView Profile Authors Info & Claims ACM SIGSOFT Software Engineering NotesVolume 20Issue 4Oct. 1995 pp 128–139https://doi.org/10.1145/222132.222148Published:01 October 1995Publication History 46citation752DownloadsMetricsTotal Citations46Total Downloads752Last 12 Months14Last 6 weeks3 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF

BibTeX

@inproceedings{Wing-Vaziri:FSE95,
  author    = {Jeannette M. Wing and
               Mandana Vaziri},
  title     = {Model Checking Software Systems: A Case Study},
  booktitle = {FSE},
  pages     = {128--139},
  publisher = {{ACM}},
  year      = {1995},
}

Model Checking Software Systems: A Case Study

Abstract

Related papers