A Pattern-Based Approach to Parametric Specification Mining Giles Reger, Howard Barringer, and David Rydeheard University of Manchester, UK Abstract. This paper presents a technique for mining parametric temporal specifi

First Page		Document Content
Date: 2016-07-20 12:50:31 Logic Symbol Substitution Mathematical logic Finite automata		A Pattern-Based Approach to Parametric Specification Mining Giles Reger, Howard Barringer, and David Rydeheard University of Manchester, UK Abstract. This paper presents a technique for mining parametric temporal specifi Add to Reading List Source URL: www.cs.man.ac.uk Download Document from Source Website File Size: 474,22 KB Share Document on Facebook