Considering Typestate Verification for Quantified Event Automata Giles Reger University of Manchester, Manchester, UK Abstract. This paper discusses how the existing static analyses developed for

First Page		Document Content
Date: 2016-08-10 12:12:08 Program analysis Typestate analysis Mathematical logic Logic Mathematics Runtime verification Quantifier Type system Sheaf		Considering Typestate Verification for Quantified Event Automata Giles Reger University of Manchester, Manchester, UK Abstract. This paper discusses how the existing static analyses developed for Add to Reading List Source URL: www.cs.man.ac.uk Download Document from Source Website File Size: 298,26 KB Share Document on Facebook