Search Sciweavers | Sciweavers

1809 search results - page 11 / 362

» A Formal Specification of dMARS

114

click to vote

CAV
2007
Springer

116views Hardware» more CAV 2007»

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

15 years 10 months ago

Download cav2007.org

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

claim paper

Read More »

117

click to vote

IFM
2007
Springer

77views Formal Methods» more IFM 2007»

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

15 years 10 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

15 years 9 months ago

Download geccoo.lri.fr

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

claim paper

Read More »

107

click to vote

FMCO
2005
Springer

88views Formal Methods» more FMCO 2005»

Modular Specification of Encapsulated Object-Oriented Components

15 years 9 months 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

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers