Efficient Large-Scale Model Checking∗ Kees Verstoep, Henri E. Bal Jiˇr´ı Barnat, Luboˇs Brim Dept. of Computer Science, Fac. of Sciences

First Page		Document Content
Date: 2009-02-12 11:31:56 Search algorithms Application programming interfaces Parallel computing Breadth-first search Message Passing Interface Depth-first search Model checking Graph Distributed computing Mathematics Graph theory Theoretical computer science		Efficient Large-Scale Model Checking∗ Kees Verstoep, Henri E. Bal Jiˇr´ı Barnat, Luboˇs Brim Dept. of Computer Science, Fac. of Sciences Add to Reading List Source URL: www.cs.vu.nl Download Document from Source Website File Size: 190,36 KB Share Document on Facebook

	Distributed Computing Prof. R. Wattenhofer BA/MA/SA: A Hybrid Blockchain System DocID: 1xVNV - View Document
	Distributed Computing Prof. R. Wattenhofer SA/MA: Byzantine Reinforcement Learning DocID: 1xVKs - View Document
	Distributed Computing Prof. R. Wattenhofer Activity Recognition and Adversarial Learning with Smartwatches DocID: 1xVFo - View Document
	Distributed Computing Prof. R. Wattenhofer BA/SA/Group/Lab: Dynamic Directories DocID: 1xVCB - View Document
	Distributed Computing Prof. R. Wattenhofer Advanced Topics in Deep Learning - Disentangled Representations DocID: 1xVwm - View Document