Parallel Model Checking of ω-Automata Vincent Bloemen Formal Methods and Tools, University of Twente Abstract. Specifications for non-terminating reactive systems are described by ω-regular proper

First Page		Document Content
Date: 2016-10-03 06:41:06		Parallel Model Checking of ω-Automata Vincent Bloemen Formal Methods and Tools, University of Twente Abstract. Specifications for non-terminating reactive systems are described by ω-regular proper Add to Reading List Source URL: ceur-ws.org Download Document from Source Website File Size: 253,34 KB Share Document on Facebook