Search Sciweavers | Sciweavers

1809 search results - page 11 / 362

» A Formal Specification of dMARS

138

click to vote

CAV
2007
Springer

116views Hardware» more CAV 2007»

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

16 years 3 days ago

Download cav2007.org

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

claim paper

Read More »

134

click to vote

IFM
2007
Springer

77views Formal Methods» more IFM 2007»

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

16 years 2 days ago

Download www.mpi-inf.mpg.de

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

claim paper

Read More »

105

click to vote

FM
2005
Springer

102views Formal Methods» more FM 2005»

Symbolic Animation of JML Specifications

15 years 11 months ago

Download geccoo.lri.fr

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

claim paper

Read More »

125

click to vote

FMCO
2005
Springer

88views Formal Methods» more FMCO 2005»

Modular Specification of Encapsulated Object-Oriented Components

15 years 11 months ago

Download fmco.liacs.nl

Arnd Poetzsch-Heffter, Jan Schäfer

claim paper

Read More »

107

click to vote

FORMATS
2004
Springer

99views Formal Methods» more FORMATS 2004»

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

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers