Extending Model Checking with Dynamic Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software Jet Propulsion Laboratory California Institute of Technology

First Page		Document Content
Date: 2010-09-11 18:45:03 Model checkers Software engineering Computing Model checking Theoretical computer science SPIN model checker Stack Promela Exception handling Device driver synthesis and verification		Extending Model Checking with Dynamic Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software Jet Propulsion Laboratory California Institute of Technology Add to Reading List Source URL: rjoshi.org Download Document from Source Website File Size: 170,13 KB Share Document on Facebook

	Formal Technical Process Specification and Verification for Automated Production Systems Georg Hackenberg, Alarico Campetelli, Christoph Legat, Jakob Mund, Sabine Teufl and Birgit Vogel-Heuser DocID: 1ptUJ - View Document
	Automatic device connection Users want the devices to pair automatically and do not want to fiddle around with the setup. I 001 DocID: 1ptiU - View Document
	Microsoft Word - f1488_1.doc DocID: 1pjVg - View Document
	SimGrid MC 101 Getting Started with the SimGrid Model-Checker Da SimGrid Team September 1, 2015 DocID: 1pdyT - View Document
	X Input Device Extension Library DocID: 18f6R - View Document