Issue 6/2016
Individual Contributions
Content (5 Articles)
Open Access
Original Article
Foundations for using linear temporal logic in Event-B refinement
Thai Son Hoang, Steve Schneider, Helen Treharne, David M. Williams
Original Article
Rigorous development of component-based systems using component metadata and patterns
M. V. M. Oliveira, P. Antonino, R. Ramos, A. Sampaio, A. Mota, A. W. Roscoe
Original Article
Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL
Jesús Aransay, Jose Divasón
Open Access
Original Article
Model checking learning agent systems using Promela with embedded C code and abstraction
Ryan Kirwan, Alice Miller, Bernd Porr