Search Sciweavers | Sciweavers

4340 search results - page 33 / 868

» Formal Methods and Cryptography

click to vote

FORTEST
2008

133views Formal Methods» more FORTEST 2008»

Model Based Testing with Labelled Transition Systems

15 years 1 months ago

Download tarot2010.ist.tugraz.at

Jan Tretmans

claim paper

Read More »

click to vote

IFM
2010
Springer

111views Formal Methods» more IFM 2010»

Verification Architectures: Compositional Reasoning for Real-Time Systems

14 years 10 months ago

Download csd.informatik.uni-oldenburg.de

Johannes Faber

claim paper

Read More »

click to vote

ISOLA
2010
Springer

121views Formal Methods» more ISOLA 2010»

Inferring Compact Models of Communication Protocol Entities

14 years 10 months ago

Download www.nada.kth.se

Therese Bohlin, Bengt Jonsson, Siavash Soleimanifa...

claim paper

Read More »

click to vote

SAS
2010
Springer

108views Formal Methods» more SAS 2010»

Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables

14 years 10 months ago

Download www-pequan.lip6.fr

Alexandre Chapoutot

claim paper

Read More »

click to vote

SAS
2010
Springer

124views Formal Methods» more SAS 2010»

Abstract Interpreters for Free

14 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers