Back to Results
First PageMeta Content
Theoretical computer science / Formal methods / Logic in computer science / Computing / Software engineering / Electronic engineering / Software testing / Formal verification / Runtime verification / Software verification / Java Modeling Language / Verification


24 Challenges in Deductive Software Verification∗ Reiner H¨ahnle1 and Marieke Huisman2 1 2 Technische Universit¨
Add to Reading List

Document Date: 2017-07-30 15:10:35

Open Document

File Size: 185,11 KB

Share Result on Facebook
UPDATE