TU Wien:Programm- und Systemverifikation VU (Weissenbacher)/Folien 2024S

Materialien

Neues Material hinzufügen

0

• 00 introduction.pdf (details)
• 01 bugs.pdf (details)
• 02 assertions.pdf (details)
• 03 testing.pdf (details)
• 04 coverage.pdf (details)
• 05 tcg.pdf (details)
• 06 exercises.pdf (details)
• 07 logic.pdf (details)
• 08 hoare.pdf (details)
• 09 bmc.pdf (details)

1

• 10 sat.pdf (details)
• 11 smt.pdf (details)
• 12 modelchecking.pdf (details)
• 13 exercises2.pdf (details)