Christoph Maier's scientific contributions

Publication (1)

In practice, software systems are often developed on an ad hoc basis using at most some semi-formal diagrams to de-scribe the desired system behavior. This often leads to sys-tems with unintended behavior. One also lacks the means to prove properties of the system. On the other hand, a lot of formal specification formalisms exist that allow to spec...