Search Sciweavers | Sciweavers

1809 search results - page 11 / 362

» A Formal Specification of dMARS

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 28 days 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 28 days ago

Download fmco.liacs.nl

Arnd Poetzsch-Heffter, Jan Schäfer

claim paper

Read More »

click to vote

FORMATS
2004
Springer

99views Formal Methods» more FORMATS 2004»

Automating the Addition of Fail-Safe Fault-Tolerance: Beyond Fusion-Closed Specifications

14 years 26 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers