Search Sciweavers | Sciweavers

917 search results - page 3 / 184

» Algebraic Methods for Specification and Formal Development o...

click to vote

FMCO
2006
Springer

103views Formal Methods» more FMCO 2006»

Verifying Object-Oriented Programs with KeY: A Tutorial

13 years 9 months ago

Download www.uni-koblenz.de

This paper is a tutorial on performing formal specification and semi-automatic verification of Java programs with the formal software development tool KeY. This tutorial aims to fi...

Wolfgang Ahrendt, Bernhard Beckert, Reiner Hä...

claim paper

Read More »

click to vote

ENTCS
2006

94views more ENTCS 2006»

Reasoning About Partial Functions in the Formal Development of Programs

13 years 5 months ago

Download www.cs.ncl.ac.uk

Partial functions and operators are used extensively in the formal development of programs and thus development methods have to clarify how to reason about them. There are a numbe...

Cliff B. Jones

claim paper

Read More »

click to vote

SAS
1997
Springer

103views Formal Methods» more SAS 1997»

An Algebraic Approach to Sharing Analysis of Logic Programs

13 years 10 months ago

Download www.clip.dia.fi.upm.es

Michael Codish, Vitaly Lagoon, Francisco Bueno

claim paper

Read More »

click to vote

FMICS
2006
Springer

84views Formal Methods» more FMICS 2006»

jmle: A Tool for Executing JML Specifications Via Constraint Programming

13 years 9 months ago

Download users.dickinson.edu

Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Lan...

Ben Krause, Tim Wahls

claim paper

Read More »

click to vote

TFM
2009
Springer

144views Formal Methods» more TFM 2009»

Teaching Program Specification and Verification Using JML and ESC/Java2

14 years 10 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers