<--- Back to Details
First PageDocument 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

Similar Documents