Sciweavers

5255 search results - page 42 / 1051

» Formal Methods for Privacy

26

FMCO
2008
Springer

120views Formal Methods» more FMCO 2008»

Abstract Interpretation of Symbolic Execution with Explicit State Updates

13 years 10 months ago

Abstract Interpretation of Symbolic Execution with Explicit State Updates

Download www.cse.chalmers.se

Richard Bubel, Reiner Hähnle, Benjamin Wei&sz...

claim paper

Read More »

22

FORMATS
2008
Springer

97views Formal Methods» more FORMATS 2008»

Compositional Abstraction in Real-Time Model Checking

13 years 10 months ago

Compositional Abstraction in Real-Time Model Checking

Download www.mbsd.cs.ru.nl

Jasper Berendsen, Frits W. Vaandrager

claim paper

Read More »

24

FORTEST
2008

133views Formal Methods» more FORTEST 2008»

Model Based Testing with Labelled Transition Systems

13 years 10 months ago

Model Based Testing with Labelled Transition Systems

Download tarot2010.ist.tugraz.at

Jan Tretmans

claim paper

Read More »

25

IFM
2010
Springer

111views Formal Methods» more IFM 2010»

Verification Architectures: Compositional Reasoning for Real-Time Systems

13 years 7 months ago

Verification Architectures: Compositional Reasoning for Real-Time Systems

Download csd.informatik.uni-oldenburg.de

Johannes Faber

claim paper

Read More »

20

ISOLA
2010
Springer

121views Formal Methods» more ISOLA 2010»

Inferring Compact Models of Communication Protocol Entities

13 years 7 months ago

Inferring Compact Models of Communication Protocol Entities

Download www.nada.kth.se

Therese Bohlin, Bengt Jonsson, Siavash Soleimanifa...

claim paper

Read More »

« Prev « First page 42 / 1051 Last » Next »