Challenges In Deductive Software Verification Reiner Hähnle (with Marieke Huisman, U Twente) www.se.tu-darmstadt.de

First Page		Document Content
Date: 2017-08-08 05:01:11 Theoretical computer science Software engineering Computing Model checking Specification language Computer programming Correctness Formal methods Cognitive science		Challenges In Deductive Software Verification Reiner Hähnle (with Marieke Huisman, U Twente) www.se.tu-darmstadt.de Add to Reading List Source URL: www.cs.man.ac.uk Download Document from Source Website File Size: 52,59 KB Share Document on Facebook

	SPECIFICATION AND DEVELOPMENT OF PARALLEL ALGORITHMS WITH THE PROTEUS SYSTEM ALLEN GOLDBERG, PETER MILLS, LARS NYLAND, JAN PRINS, JOHN REIF, AND JAMES RIELY Abstract. The Proteus language is a wide-spectrum parallel prog DocID: 1xT6C - View Document
	Requirements for a Specification Language for Data and Information Flow, and A Literature Review of Analytical and Constructive Research on the Java Native Interface DocID: 1v2Bk - View Document
	Physiological Hierarchy Markup Language (PHML) Language Specification Version 1.0 Table of Contents DocID: 1v0H0 - View Document
	Modelica® - A Unified Object-Oriented Language for Systems Modeling Language Specification Version 3.4 April 10, 2017 Abstract DocID: 1v03q - View Document
	ModelicaTM - A Unified Object-Oriented Language for Physical Systems Modeling LANGUAGE SPECIFICATION Version 1.3 December 15, 1999 ModelicaTM is a trademark of the "Modelica Design Group". DocID: 1uYS8 - View Document