Search Sciweavers | Sciweavers

4340 search results - page 91 / 868

» Formal Methods and Cryptography

104

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 7 months ago

Download fmco.liacs.nl

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

claim paper

Read More »

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 »

Voted

FMCAD
2008
Springer

78views Formal Methods» more FMCAD 2008»

Model Checking Nash Equilibria in MAD Distributed Systems

15 years 5 months ago

Download www.cs.utexas.edu

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

claim paper

Read More »

106

click to vote

FORMATS
2008
Springer

60views Formal Methods» more FORMATS 2008»

Timed Automata with Integer Resets: Language Inclusion and Expressiveness

15 years 5 months ago

Download www.tcs.tifr.res.in

P. Vijay Suman, Paritosh K. Pandya, Shankara Naray...

claim paper

Read More »

106

Voted

SAS
2010
Springer

126views Formal Methods» more SAS 2010»

From Object Fields to Local Variables: A Practical Approach to Field-Sensitive Analysis

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers