Volume 36; Issue 2

Formal Methods in System Design

Volume 36; Issue 2
1

On simulation-based probabilistic model checking of

Edmund Clarke, Alexandre Donzé, Axel Legay
Journal:
Formal Methods in System Design
Year:
2010
Language:
english
File:
PDF, 802 KB
english, 2010
2

Simple concurrent garbage collection almost without

Wim H. Hesselink, M. I. Lali
Journal:
Formal Methods in System Design
Year:
2010
Language:
english
File:
PDF, 440 KB
english, 2010
3

Analog property checkers: a DDR2 case study

Kevin D. Jones, Victor Konrad, Dejan Ničković
Journal:
Formal Methods in System Design
Year:
2010
Language:
english
File:
PDF, 1.25 MB
english, 2010
5

Causal semantics for the algebra of connectors

Simon Bliudze, Joseph Sifakis
Journal:
Formal Methods in System Design
Year:
2010
Language:
english
File:
PDF, 715 KB
english, 2010