Search Sciweavers | Sciweavers

8828 search results - page 125 / 1766

» Formal methods in practice

117

click to vote

SAS
1994
Springer

77views Formal Methods» more SAS 1994»

Estimating the Computational Cost of Logic Programs

15 years 8 months ago

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

Saumya K. Debray, Pedro López-García...

claim paper

Read More »

141

click to vote

LARCH
1992

133views Formal Methods» more LARCH 1992»

Using Transformations and Verification in Circuit Design

15 years 8 months ago

Download www.hpl.hp.com

James B. Saxe, John V. Guttag, James J. Horning, S...

claim paper

Read More »

109

Voted

FMCO
2006
Springer

80views Formal Methods» more FMCO 2006»

JACK - A Tool for Validation of Security and Behaviour of Java Applications

15 years 8 months ago

Download fmco.liacs.nl

Gilles Barthe, Lilian Burdy, Julien Charles, Benja...

claim paper

Read More »

102

click to vote

FM
2008
Springer

110views Formal Methods» more FM 2008»

A Model Checking Language for Concurrent Value-Passing Systems

15 years 5 months ago

Download hal.inria.fr

Modal

Radu Mateescu, Damien Thivolle

claim paper

Read More »

click to vote

FMCAD
2008
Springer

78views Formal Methods» more FMCAD 2008»

Model Checking Nash Equilibria in MAD Distributed Systems

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers