research
∙
12/24/2019
A Promise Theoretic Account of the Boeing 737 Max MCAS Algorithm Affair
Many public controversies involve the assessment of statements about whi...
share
research
∙
06/11/2019
Using Hoare logic in a process algebra setting
This paper concerns the relation between process algebra and Hoare logic...
research
∙
01/25/2019
Program algebra for Turing-machine programs
This note presents an algebraic theory of instruction sequences with ins...
research
∙
08/13/2018
A short introduction to program algebra with instructions for Boolean registers
A parameterized algebraic theory of instruction sequences, objects that ...
research
∙
05/15/2018
On the complexity of the correctness problem for non-zeroness test instruction sequences
In this paper, we consider the programming of the function on bit string...
research
∙
07/23/2011
Introducing Sourcements
Sourcing processes are discussed at a high abstraction level. A dedicate...
research
∙
06/04/2010