From Verification to Causality-based Explications

Christel Baier, Clemens Dubslaff, Florian Funke +4

In view of the growing complexity of modern software architectures, formal models are increasingly used to understand why a system works the way it does, opposed to simply verifyin…