Search Sciweavers | Sciweavers

4340 search results - page 33 / 868

» Formal Methods and Cryptography

127

click to vote

FORTEST
2008

133views Formal Methods» more FORTEST 2008»

Model Based Testing with Labelled Transition Systems

15 years 7 months ago

Download tarot2010.ist.tugraz.at

Jan Tretmans

claim paper

Read More »

139

click to vote

IFM
2010
Springer

111views Formal Methods» more IFM 2010»

Verification Architectures: Compositional Reasoning for Real-Time Systems

15 years 4 months ago

Download csd.informatik.uni-oldenburg.de

Johannes Faber

claim paper

Read More »

125

click to vote

ISOLA
2010
Springer

121views Formal Methods» more ISOLA 2010»

Inferring Compact Models of Communication Protocol Entities

15 years 4 months ago

Download www.nada.kth.se

Therese Bohlin, Bengt Jonsson, Siavash Soleimanifa...

claim paper

Read More »

111

click to vote

SAS
2010
Springer

108views Formal Methods» more SAS 2010»

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

15 years 4 months ago

Download www-pequan.lip6.fr

Alexandre Chapoutot

claim paper

Read More »

131

click to vote

SAS
2010
Springer

124views Formal Methods» more SAS 2010»

Abstract Interpreters for Free

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers