2015conference

Metric interval temporal logic specification elicitation and debugging

Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos

2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)

Topics: Testing; Falsification; and Specification

Citation

@inproceedings{dokhanchi2015metric,
  title = {Metric interval temporal logic specification elicitation and debugging},
  author = {Dokhanchi, Adel and Hoxha, Bardh and Fainekos, Georgios},
  booktitle = {2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)},
  pages = {70--79},
  year = {2015},
  organization = {IEEE},
  url = {http://www.bhoxha.com/papers/memocode2015.pdf},
  keywords = {Testing, Falsification, and Specification}
}