Search Sciweavers | Sciweavers

5255 search results - page 122 / 1051

» Formal Methods for Privacy

170

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 »

127

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 »

126

click to vote

FM
2008
Springer

110views Formal Methods» more FM 2008»

A Model Checking Language for Concurrent Value-Passing Systems

15 years 7 months ago

Download hal.inria.fr

Modal

Radu Mateescu, Damien Thivolle

claim paper

Read More »

131

click to vote

FMCAD
2008
Springer

78views Formal Methods» more FMCAD 2008»

Model Checking Nash Equilibria in MAD Distributed Systems

15 years 7 months ago

Download www.cs.utexas.edu

Federico Mari, Igor Melatti, Ivano Salvo, Enrico T...

claim paper

Read More »

133

click to vote

FORMATS
2008
Springer

60views Formal Methods» more FORMATS 2008»

Timed Automata with Integer Resets: Language Inclusion and Expressiveness

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers