An Overview of M AR Q Giles Reger University of Manchester, Manchester, UK Abstract. MarQ is a runtime monitoring tool for specifications written as quantified event automata, an expressive automata-based specification l

First Page		Document Content
Date: 2016-09-22 17:48:28		An Overview of M AR Q Giles Reger University of Manchester, Manchester, UK Abstract. MarQ is a runtime monitoring tool for specifications written as quantified event automata, an expressive automata-based specification l Add to Reading List Source URL: www.cs.man.ac.uk Download Document from Source Website File Size: 200,86 KB Share Document on Facebook