Concise outlines for a complex logic: a proof outline checker for TaDA. - Wolf, Felix A.; Schwerhoff, Malte; Müller, Peter (Formal Methods in System Design, 2022)