Volume 259; Issue none

1

Formalizing a Hierarchical File System

Year:
2009
Language:
english
File:
PDF, 333 KB
english, 2009
3

How to Brew-up a Refinement Ordering

Year:
2009
Language:
english
File:
PDF, 365 KB
english, 2009
4

Data Refinement of Invariant Based Programs

Year:
2009
Language:
english
File:
PDF, 791 KB
english, 2009
5

Data Refinement with Probability in Mind

Year:
2009
Language:
english
File:
PDF, 279 KB
english, 2009
6

Guarded Operations, Refinement and Simulation

Year:
2009
Language:
english
File:
PDF, 308 KB
english, 2009
7

Refining Emergent Properties

Year:
2009
Language:
english
File:
PDF, 316 KB
english, 2009
8

Supporting ArcAngel in ProofPower

Year:
2009
Language:
english
File:
PDF, 388 KB
english, 2009
9

Preface

Year:
2009
Language:
english
File:
PDF, 75 KB
english, 2009
11

Relational Concurrent Refinement: Automata

Year:
2009
Language:
english
File:
PDF, 301 KB
english, 2009
12

Of wlp and CSP

Year:
2009
Language:
english
File:
PDF, 232 KB
english, 2009
13

Proving Quicksort Correct in Event-B

Year:
2009
Language:
english
File:
PDF, 329 KB
english, 2009
15

Static Class Elements for Object-Z

Year:
2009
Language:
english
File:
PDF, 266 KB
english, 2009