A lightweight LTL runtime verification tool for Java

Bodden, Eric

A lightweight LTL runtime verification tool for Java (bibtex)

@inproceedings{OOPSLALightweight,
	Author = {Eric Bodden},
	Bibsource = {DBLP, https://dblp.uni-trier.de},
	Booktitle = {Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada},
	Ee = {10.1145/1028664.1028776},
	Kind = {Workshop},
	Month = oct,
	Note = {ACM Student Research Competition},
	Pages = {306--307},
	Title = {{A lightweight LTL runtime verification tool for Java}},
	Url = {https://www.bodden.de/pubs/bodden04lightweight.pdf},
	Year = {2004},
	Publisher = {ACM},
	Bdsk-Url-1 = {https://www.bodden.de/pubs/bodden04lightweight.pdf}}