Search Sciweavers | Sciweavers

8828 search results - page 125 / 1766

» Formal methods in practice

149

click to vote

SAS
1994
Springer

77views Formal Methods» more SAS 1994»

Estimating the Computational Cost of Logic Programs

15 years 10 months ago

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

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

claim paper

Read More »

172

click to vote

LARCH
1992

133views Formal Methods» more LARCH 1992»

Using Transformations and Verification in Circuit Design

15 years 10 months ago

Download www.hpl.hp.com

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

claim paper

Read More »

128

click to vote

FMCO
2006
Springer

80views Formal Methods» more FMCO 2006»

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

15 years 10 months ago

Download fmco.liacs.nl

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

claim paper

Read More »

128

click to vote

FM
2008
Springer

110views Formal Methods» more FM 2008»

A Model Checking Language for Concurrent Value-Passing Systems

15 years 8 months ago

Download hal.inria.fr

Modal

Radu Mateescu, Damien Thivolle

claim paper

Read More »

133

click to vote

FMCAD
2008
Springer

78views Formal Methods» more FMCAD 2008»

Model Checking Nash Equilibria in MAD Distributed Systems

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers