This Festschrift is dedicated to Martin Fränzle, a leading researcher in formal methods and cyber...