Skip to main content
Software Verification and Analysis / Sagtewareverifikasie en - analise - 796
0%
Focus Mode is ON. Click ‘X’ at right bottom to close it.
Previous
Course data
General
Announcements
Schedule
Model Checking [CPI]
Linearisability [CPI]
Assignment -- JPF Lin
Plagiarism Declaration -- JPF Lin
Bounded model checking [BF]
Assignment -- BMC
Plagiarism Declaration -- BMC Assignment
Model Checker Types & Applications [WV]
Assignment JPF
Plagiarism Declaration -- Connection Pool Assignment
Symbolic Execution [WV]
Running 2 Symbolic Execution Tools
Plagiarism Declaration for Symbolic Execution Assignment
Coastal
Satisfiability Modulo Theories (SMT)
Solving Einstein Puzzle
Plagiarism Declaration for SMT Assignment
Static analysis [WV]
Static Analysis assignment --- Exercise 1: Simple data flow analysis using Soot
Static Analysis assignment --- Exercise 2: Type state analysis using Soot
Plagiarism Declaration for Static Analysis Assignments 1 & 2
Testing [WV]
Testing assignment 1: CI Pipeline
Testing assignment 2: Enhancing the CI pipeline: Adding coverage and mutation testing
Lecture Recordings
2020 Static Analysis Reading course
Docker with JUnit Testing
Coverage Tools
Next
Side panel
Categories
All categories
2026
Experiential Learning
Student Leadership
Intercultural Engagement
Social Impact
Academic Leadership
Personal Leadership
International Programmes SUI
Learning And Teaching Enhancement
Language Centre
Centre For Learning Technologies
Hybrid Learning
Postgraduate Skills
Training Courses
Miscellaneous courses
Miscellaneous courses
Information Technology
Sample-Test
Digital Literacy
System Administrator Training
Professional Development
Security Awareness Training
Microsoft Office 365 Training
Ops
Linux System Administrators
Microsoft System Administrators
Home
FMHSLearn
EMSLearn
SocSciLearn
STEMLearn
Log in
Categories
Collapse
Expand
All categories
2026
Experiential Learning
Student Leadership
Intercultural Engagement
Social Impact
Academic Leadership
Personal Leadership
International Programmes SUI
Learning And Teaching Enhancement
Language Centre
Centre For Learning Technologies
Hybrid Learning
Postgraduate Skills
Training Courses
Miscellaneous courses
Miscellaneous courses
Information Technology
Sample-Test
Digital Literacy
System Administrator Training
Professional Development
Security Awareness Training
Microsoft Office 365 Training
Ops
Linux System Administrators
Microsoft System Administrators
Home
FMHSLearn
EMSLearn
SocSciLearn
STEMLearn
Please look for missing modules on the different Faculty instances:
FMHSLearn
EMSLearn
SocSciLearn
STEMLearn
Course information
Course
Participants
Reports
Question bank
2024-14065-796 Software Verification and Analysis / Sagtewareverifikasie en - analise - 796
Facilitator:
BERND Fischer
Facilitator:
Cornelia Inggs
Facilitator:
WILLEM CONRADIE Visser
