VSTTE 2005 - PDF Preprint Papers

VSTTE 2005 Verified Software: Tools

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed VSTTE-2005 Paper

click to vote

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

From the How to the What

12 years 11 months ago

Download vstte.ethz.ch

In this paper, we consider the Grand Challenge under a very speciﬁc perspective: the enabling of application experts without programming knowledge to reliably model their busines...

Tiziana Margaria, Bernhard Steffen

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Related Conferences

Id	Views	Title	Status

1	156	From the How to the What	claim
2	156	Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification	claim
3	136	Performance Validation on Multicore Mobile Devices	claim
4	128	Programming with Proofs: Language-Based Approaches to Totally Correct Software	claim
5	124	On the Formal Development of Safety-Critical Software	claim
6	123	Reasoning about Object Structures Using Ownership	claim
7	122	Automatic Verification of Strongly Dynamic Software Systems	claim
8	119	Specified Blocks	claim
9	116	Lessons from the JML Project	claim
10	114	An Overview of Separation Logic	claim
11	113	Verifying Design with Proof Scores	claim
12	113	Meta-Logical Frameworks and Formal Digital Libraries	claim
13	109	Dependent Types, Theorem Proving, and Applications for a Verifying Compiler	claim
14	108	Modular Reasoning in Object-Oriented Programming	claim
15	107	Linking the Meaning of Programs to What the Compiler Can Verify	claim
16	100	Decision Procedures for the Grand Challenge	claim
17	100	WYSINWYX: What You See Is Not What You eXecute	claim
18	98	Model Checking: Back and Forth between Hardware and Software	claim
19	94	Tool Integration for Reasoned Programming	claim
20	92	Constraint Solving and Symbolic Execution	claim
21	90	Reliable Software Systems Design: Defect Prevention, Detection, and Containment	claim
22	90	It Is Time to Mechanize Programming Language Metatheory	claim
23	89	Software Verification and Software Engineering a Practitioner's Perspective	claim
24	88	Toasters, Seat Belts, and Inferring Program Properties	claim
25	85	Where Is the Value in a Program Verifier?	claim
26	80	Verify Your Runs	claim
27	79	Implications of a Data Structure Consistency Checking System	claim
28	78	Model-Checking Software Using Precise Abstractions	claim
29	75	Computational Logical Frameworks and Generic Program Analysis Technologies	claim
30	75	The Spec# Programming System: Challenges and Directions	claim
31	68	The Importance of Non-theorems and Counterexamples in Program Verification	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers