Search Sciweavers | Sciweavers

1823 search results - page 25 / 365

» Formal specification: a roadmap

click to vote

FM
2009
Springer

118views Formal Methods» more FM 2009»

Certifiable Specification and Verification of C Programs

14 years 2 months ago

Download www.informatik.uni-bremen.de

Christoph Lüth, Dennis Walter

claim paper

Read More »

click to vote

CAV
2007
Springer

116views Hardware» more CAV 2007»

A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java

14 years 1 months ago

Download cav2007.org

Gary T. Leavens, Joseph R. Kiniry, Erik Poll

claim paper

Read More »

click to vote

IFM
2007
Springer

77views Formal Methods» more IFM 2007»

Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters

14 years 1 months ago

Download www.mpi-inf.mpg.de

Johannes Faber, Swen Jacobs, Viorica Sofronie-Stok...

claim paper

Read More »

click to vote

FM
2005
Springer

102views Formal Methods» more FM 2005»

Symbolic Animation of JML Specifications

14 years 1 months ago

Download geccoo.lri.fr

Fabrice Bouquet, Frédéric Dadeau, Br...

claim paper

Read More »

click to vote

FMCO
2005
Springer

88views Formal Methods» more FMCO 2005»

Modular Specification of Encapsulated Object-Oriented Components

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers