Skip to main content


Formal Aspects of Computing

Applicable Formal Methods

Formal Aspects of Computing OnlineFirst articles

24-09-2021 | Original Article Open Access

Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks

The current travel demand in railways requires the adoption of novel approaches and technologies in order to increase network capacity. Virtual Coupling is considered one of the most innovative solutions to increase railway capacity by drastically …

24-08-2021 | Original Article Open Access

Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming

In the field of Model-Driven Engineering, Triple Graph Grammars (TGGs) play an important role as a rule-based means of implementing consistency management. From a declarative specification of a consistency relation, several operations including …

17-08-2021 | Original Article Open Access

A tale of two graph models: a case study in wireless sensor networks

Designing and reasoning about complex systems such as wireless sensor networks is hard due to highly dynamic environments: sensors are heterogeneous, battery-powered, and mobile. While formal modelling can provide rigorous mechanisms for …

16-08-2021 | Book Review Open Access

Foundations of programming languages

by Kent D. Lee Second Edition. Undergraduate Topics in Computer Science, Springer 2017, ISBN 978-3-319-70789-1, pp. 1–367

10-08-2021 | Original Article Open Access

Efficient data validation for geographical interlocking systems

In this paper, an efficient approach to data validation of distributed geographical interlocking systems (IXLs) is presented. In the distributed IXL paradigm, track elements are controlled by local computers communicating with other control …

Current Publications

About this journal

This journal aims to publish contributions at the junction of theory and practice. The objective is to disseminate applicable research. Thus new theoretical contributions are welcome where they are motivated by potential application; applications of existing formalisms are of interest if they show something novel about the approach or application.

The term "formal methods" has been applied to a range of notations, theories and tools. There is no doubt that some of these have already had a significant impact on practical applications of computing. Indeed, it is interesting to note that once something is adopted into practical use it is no longer thought of as a formal method. Apart from widely used notations such as those for syntax and state machines, there have been significant applications of specification notations, development methods and tools both for proving general results and for searching for specific conditions. However, the most profound and lasting influence of the formal approach is the way it has illuminated fundamental concepts like those of communication.

In this spirit, the principal aim of this journal is to promote the growth of computing science, to show its relation to practice and to stimulate applications of apposite formalisms to practical problems. One significant challenge is to show how a range of formal models can be related to each other.

Additional information

Premium Partner

    Image Credits