Algebraic Data Types (ADTs) are an increasingly common feature in modern programming
languages. In many implementations, values of non-nullary, multi-case ADTs are allocated …

Creating software for embedded systems requires rigid quality measures. The reason for this
is that errors in the software may have very expensive or even disastrous consequences …

Abstracted semantics of instructions of processor-based architectures are an invaluable
asset for several formal verification techniques, such as software model checking and static …