An Object-Oriented Framework for Explicit-State Model Checking Mark Kattenbelt1 and Theo C. Ruys2 and Arend Rensink2 Abstract. This paper presents a conceptual architecture for an object-oriented framework to support the

First Page		Document Content
Date: 2008-02-25 10:26:47 Theoretical computer science Formal methods Computing Mathematics Logic in computer science Graph rewriting Model checking Algorithm Formal verification Abstraction Generic programming Finite-state machine		An Object-Oriented Framework for Explicit-State Model Checking Mark Kattenbelt1 and Theo C. Ruys2 and Arend Rensink2 Abstract. This paper presents a conceptual architecture for an object-oriented framework to support the Add to Reading List Source URL: qav.comlab.ox.ac.uk Download Document from Source Website File Size: 160,23 KB Share Document on Facebook

	A Semismooth Newton Method for Fast, Generic Convex Programming Alnur Ali * 1 Eric Wong * 1 J. Zico Kolter 2 i.e., the space of m × m positive semidefinite matrices Sm +, yields a semidefinite program; and taking K as DocID: 1uDDW - View Document
	Concepts: Linguistic Support for Generic Programming in C++ Douglas Gregor Jaakko J¨arvi Jeremy Siek DocID: 1uj6o - View Document
	COMP2145 –Generic Second Year Programming DocID: 1u4HX - View Document
	Generic Programming for Indexed Datatypes José Pedro Magalhães1 Johan Jeuring1,2 1 Department DocID: 1tK26 - View Document
	Supplement to “A Semismooth Newton Method for Fast, Generic Convex Programming” Alnur Ali * 1 Eric Wong * 1 J. Zico Kolter 2 This document contains proofs and supplementary details for the paper “A Semismooth Newt DocID: 1tJkx - View Document