Runtime Verification

@inproceedings{Kittler2011RuntimeV,
  title={Runtime Verification},
  author={Josef Kittler},
  booktitle={Lecture Notes in Computer Science},
  year={2011}
}
This tutorial explores the design and implementation issues arising in the development of domain-specific languages for trace analysis. It introduces the audience to the general concepts underlying such special-purpose languages building upon the authors’ own experiences in developing both external domainspecific languages and systems, such as EAGLE, HAWK… CONTINUE READING