Sciweavers

31 search results - page 3 / 7

» vstte 2005

13

VSTTE
2005
Springer

75views Software Engineering» more VSTTE 2005»

Computational Logical Frameworks and Generic Program Analysis Technologies

13 years 10 months ago

Computational Logical Frameworks and Generic Program Analysis Technologies

Download vstte.ethz.ch

José Meseguer, Grigore Rosu

claim paper

Read More »

8

VSTTE
2005
Springer

156views Software Engineering» more VSTTE 2005»

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

13 years 10 months ago

Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification

Download vstte.ethz.ch

Mitsuharu Yamamoto, Yoshinori Tanabe, Koichi Takah...

claim paper

Read More »

8

VSTTE
2005
Springer

122views Software Engineering» more VSTTE 2005»

Automatic Verification of Strongly Dynamic Software Systems

13 years 10 months ago

Automatic Verification of Strongly Dynamic Software Systems

Download vstte.ethz.ch

Nurit Dor, John Field, Denis Gopan, Tal Lev-Ami, A...

claim paper

Read More »

9

VSTTE
2005
Springer

75views Software Engineering» more VSTTE 2005»

The Spec# Programming System: Challenges and Directions

13 years 10 months ago

The Spec# Programming System: Challenges and Directions

Download research.microsoft.com

Michael Barnett, Robert DeLine, Manuel Fähndr...

claim paper

Read More »

6

VSTTE
2005
Springer

119views Software Engineering» more VSTTE 2005»

Specified Blocks

13 years 10 months ago

Specified Blocks

Download vstte.ethz.ch

This paper argues that specified blocks have every advantage over the combination of assertions, preconditions, postconditions, invariants, and variants, both for verifying program...

Eric C. R. Hehner

claim paper

Read More »

« Prev « First page 3 / 7 Last » Next »