Virginia Polytechnic Institute and State University No[removed]Rev.: 0

First Page		Document Content
Date: 2006-07-13 16:57:07 Business Quality Software development process Carnegie Mellon University Information technology management Capability Maturity Model Project manager A Guide to the Project Management Body of Knowledge Software Engineering Institute Management Project management Software development		Virginia Polytechnic Institute and State University No[removed]Rev.: 0 Add to Reading List Source URL: www.policies.vt.edu Download Document from Source Website File Size: 32,66 KB Share Document on Facebook

	Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University DocID: 1xVXp - View Document
	Algorithmic Logic-Based Verification with SeaHorn (Invited Tutorial) Arie Gurfinkel Software Engineering Institute Carnegie Mellon University http://arieg.bitbucket.org DocID: 1xVaE - View Document
	BOXES: Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Software Engineering Institute Carnegie Mellon University January 28, 2011 DocID: 1xV1C - View Document
	Trust in Formal Methods Toolchains Arie Gurfinkel Software Engineering Institute Carnegie Mellon University DocID: 1xUHE - View Document
	A Relational Encoding for a Clash-Free Subset of ASMs Gerhard Schellhorn, Gidon Ernst, J¨org Pf¨ahler, and Wolfgang Reif Institute for Software and Systems Engineering University of Augsburg, Germany {schellhorn,ernst, DocID: 1xUbX - View Document