Scaling Correctness-by-Construction

Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles - Lecture Notes in Computer Science ◽

10.1007/978-3-030-61362-4_10 ◽

2020 ◽

pp. 187-207

Author(s):

Alexander Knüppel ◽

Tobias Runge ◽

Ina Schaefer

Download Full-text