2012conference

Querying parametric temporal logic properties on embedded systems

Hengyi Yang, Bardh Hoxha, Georgios Fainekos

IFIP International Conference on Testing Software and Systems

Topics: Testing; Falsification; and Specification

Citation

@inproceedings{yang2012querying,
  title = {Querying parametric temporal logic properties on embedded systems},
  author = {Yang, Hengyi and Hoxha, Bardh and Fainekos, Georgios},
  booktitle = {IFIP International Conference on Testing Software and Systems},
  pages = {136--151},
  year = {2012},
  organization = {Springer},
  url = {http://www.bhoxha.com/papers/ictss2012.pdf},
  keywords = {Testing, Falsification, and Specification}
}