PARTS: A Temporal Logic-Based Real-Time Software Specification and Verification Method

Abstract

Areasof computer application are being broadened rapidly due to the rapid improvement of the performance of computer hardware.Applications that were not feasible before are now becoming feasible with

BibTeX

@inproceedings{Kang-Ko:ICSE95,
  author    = {Kyo Chul Kang and
               Kwang{-}Il Ko},
  title     = {{PARTS:} A Temporal {Logic-Based} {Real-Time} Software Specification and Verification Method},
  booktitle = {ICSE},
  pages     = {169--176},
  publisher = {{ACM}},
  year      = {1995},
}

PARTS: A Temporal Logic-Based Real-Time Software Specification and Verification Method

Abstract

Related papers