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

	C++ Exception Handling for IA-64 Christophe de Dinechin Hewlett-Packard IA-64 Foundation Lab Abstract The C++ programming language offers a feature DocID: 1xVT7 - View Document
	Delft University of Technology Software Engineering Research Group Technical Report Series Exception Handling Bug Hazards in Android: Results from a Mining Study DocID: 1sSzf - View Document
	WG14 N1841 - Alternate Exception Handling Syntax for C Notes for TSPart 5 Supplementary attributes What syntax should be used to express IEEEalternate exception handling in C? The C Floating Point group DocID: 1spkG - View Document
	Extended Abstract Compiling Links Effect Handlers to the OCaml Backend Daniel Hillerstr¨om Sam Lindley DocID: 1rtHp - View Document