Volume 24; Issue 1

Formal Aspects of Computing

Volume 24; Issue 1
1

Compositional noninterference from first principles

Carroll Morgan
Journal:
Formal Aspects of Computing
Year:
2012
Language:
english
File:
PDF, 572 KB
english, 2012
2

Formalizing a hierarchical file system

Wim H. Hesselink, Muhammad Ikram Lali
Journal:
Formal Aspects of Computing
Year:
2012
Language:
english
File:
PDF, 190 KB
english, 2012
3

Emergence and refinement

J. W. Sanders, Graeme Smith
Journal:
Formal Aspects of Computing
Year:
2012
Language:
english
File:
PDF, 375 KB
english, 2012
4

Invariant diagrams with data refinement

Viorel Preoteasa, Ralph-Johan Back
Journal:
Formal Aspects of Computing
Year:
2012
Language:
english
File:
PDF, 787 KB
english, 2012
5

Experiments in program verification using Event-B

Stefan Hallerstede, Michael Leuschel
Journal:
Formal Aspects of Computing
Year:
2012
Language:
english
File:
PDF, 1.24 MB
english, 2012
6

Mechanised support for sound refinement tactics

Frank Zeyda, Marcel Oliveira, Ana Cavalcanti
Journal:
Formal Aspects of Computing
Year:
2012
Language:
english
File:
PDF, 373 KB
english, 2012
7

Editorial

Eerke Boiten, John Derrick, Jin Song Dong, Steve Reeves
Journal:
Formal Aspects of Computing
Year:
2012
Language:
english
File:
PDF, 55 KB
english, 2012