Volume 23; Issue 1

Formal Aspects of Computing

Volume 23; Issue 1
1

Z2SAL: a translation-based model checker for Z

John Derrick, Siobhán North, Anthony J. H. Simons
Journal:
Formal Aspects of Computing
Year:
2011
Language:
english
File:
PDF, 253 KB
english, 2011
2

Proving linearizability with temporal logic

Simon Bäumler, Gerhard Schellhorn, Bogdan Tofan, Wolfgang Reif
Journal:
Formal Aspects of Computing
Year:
2011
Language:
english
File:
PDF, 767 KB
english, 2011
4

A data-flow approach to test multi-agent ASMs

Alessandra Cavarra
Journal:
Formal Aspects of Computing
Year:
2011
Language:
english
File:
PDF, 363 KB
english, 2011
5

On the purpose of Event-B proof obligations

Stefan Hallerstede
Journal:
Formal Aspects of Computing
Year:
2011
Language:
english
File:
PDF, 227 KB
english, 2011
6

Retrenchment for Event-B: UseCase-wise development and Rodin integration

Richard Banach
Journal:
Formal Aspects of Computing
Year:
2011
Language:
english
File:
PDF, 318 KB
english, 2011
7

Using Event-B to construct instruction set architectures

Stephen Wright, Kerstin Eder
Journal:
Formal Aspects of Computing
Year:
2011
Language:
english
File:
PDF, 339 KB
english, 2011
8

Editorial

Egon Börger
Journal:
Formal Aspects of Computing
Year:
2011
Language:
english
File:
PDF, 44 KB
english, 2011