Software Engineering

30

VSTTE
2005
Springer

114views Software Engineering» more VSTTE 2005»

14 years 5 months ago

After some general remarks about program veriﬁcation, we introduce separation logic, a novel extension of Hoare logic that can strengthen the applicability and scalability of pro...

John C. Reynolds

claim paper

Read More »

25

click to vote

VSTTE
2005
Springer

92views Software Engineering» more VSTTE 2005»

Constraint Solving and Symbolic Execution

14 years 5 months ago

Download vstte.ethz.ch

Jian Zhang

claim paper

Read More »

47

click to vote

VSTTE
2005
Springer

100views Software Engineering» more VSTTE 2005»

Decision Procedures for the Grand Challenge

14 years 5 months ago

Download vstte.ethz.ch

Abstract. The Verifying Compiler checks the correctness of the program it compiles. The workhorse of such a tool is the reasoning engine, which decides validity of formulae in a su...

Daniel Kroening

claim paper

Read More »

37

click to vote

VSTTE
2005
Springer

113views Software Engineering» more VSTTE 2005»

Meta-Logical Frameworks and Formal Digital Libraries

14 years 5 months ago

Download vstte.ethz.ch

Carsten Schürmann

claim paper

Read More »

25

click to vote

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

14 years 5 months ago

Download vstte.ethz.ch

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...

claim paper

Read More »

33

click to vote

VSTTE
2005
Springer

113views Software Engineering» more VSTTE 2005»

Verifying Design with Proof Scores

14 years 5 months ago

Download vstte.ethz.ch

: Verifying design instead of code can be an eﬀective and practical approach to obtaining veriﬁed software. This paper argues that proof scores are an attractive method for ver...

Kokichi Futatsugi, Joseph A. Goguen, Kazuhiro Ogat...

claim paper

Read More »

32

click to vote

VSTTE
2005
Springer

123views Software Engineering» more VSTTE 2005»

Reasoning about Object Structures Using Ownership

14 years 5 months ago

Download vstte.ethz.ch

Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...

Peter Müller

claim paper

Read More »

26

click to vote

VSTTE
2005
Springer

89views Software Engineering» more VSTTE 2005»

Software Verification and Software Engineering a Practitioner's Perspective

14 years 5 months ago

Download vstte.ethz.ch

Anthony Hall

claim paper