Generating Programs plus Proofs by Refinement Douglas R. Smith Kestrel Institute, Palo Alto, CaliforniaUSA 1

First Page		Document Content
Date: 2012-08-02 20:27:15 Formal methods Computing Software engineering Theoretical computer science Specification language Refinement Abstract state machines Domain-specific language Specification Programming language Integrated circuit design Formal specification		Generating Programs plus Proofs by Refinement Douglas R. Smith Kestrel Institute, Palo Alto, CaliforniaUSA 1 Add to Reading List Source URL: www.kestrel.edu Download Document from Source Website File Size: 95,13 KB Share Document on Facebook

	Call For Papers The International Workshop on Advances in Sensors and Interfaces is a premier Sensor and Interface design workshop aimed at bridging the gap between electronic design and integrated circuit technologies, DocID: 1xV2r - View Document
	Call for Contributions Special Issue on “Emerging Challenges and Solutions in SoC Verification” Verification has been one of the major bottlenecks in integrated circuit design process, which is exacerbated by the sh DocID: 1thbw - View Document
	NRL BAA Announcement #ANALOG AND MIXED SIGNAL INTEGRATED CIRCUIT DESIGN AND CHARACTERIZATION The Electromagnetics Technology Branch of the Naval Research Laboratory (NRL) is DocID: 1rIzu - View Document
	Programming for Future 3D Architectures with Manycore Introduction The shift from Systems-on-Chip (SoC) to manycore architectures brings new hardware and software challenges ranging from seamless integration of processo DocID: 1roQk - View Document
	1 Underdesigned and Opportunistic Computing in Presence of Hardware Variability Puneet Gupta1 , Member, IEEE, Yuvraj Agarwal2 , Member, IEEE, Lara Dolecek1 , Member, IEEE, Nikil Dutt6 , Fellow, IEEE, Rajesh K. Gupta2 , DocID: 1roDZ - View Document