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
International Programmes SUI
Learning And Teaching Enhancement
Language Centre
Centre For Learning Technologies
Hybrid Learning
Postgraduate Skills
Training Courses
Miscellaneous courses
2025
Experiential Learning
Academic Leadership
Intercultural Engagement
Personal Leadership
Social Impact
Student Leadership
Scholarships, Awards & Service recognition
Sport and Wellbeing
Mental Health and Wellbeing
Learning And Teaching Enhancement
Language Centre
Centre For Leadership And Structures
Centre For Learning Technologies
Centre For Student Counselling And Development
Centre For Teaching And Learning
Human Resources Academic Environments
Teaching and Learning Online
Hybrid Learning
Miscellaneous courses
Postgraduate Skills
Research and Innovation
Library and Information Services
School for Data Science and Computational Thinking
School For Climate Studies
Postgraduate Skills
Social Impact and Transformation
Transformation Office
Stellenbosch University International
International Programmes SUI
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
International Programmes SUI
Learning And Teaching Enhancement
Language Centre
Centre For Learning Technologies
Hybrid Learning
Postgraduate Skills
Training Courses
Miscellaneous courses
2025
Experiential Learning
Academic Leadership
Intercultural Engagement
Personal Leadership
Social Impact
Student Leadership
Scholarships, Awards & Service recognition
Sport and Wellbeing
Mental Health and Wellbeing
Learning And Teaching Enhancement
Language Centre
Centre For Leadership And Structures
Centre For Learning Technologies
Centre For Student Counselling And Development
Centre For Teaching And Learning
Human Resources Academic Environments
Teaching and Learning Online
Hybrid Learning
Miscellaneous courses
Postgraduate Skills
Research and Innovation
Library and Information Services
School for Data Science and Computational Thinking
School For Climate Studies
Postgraduate Skills
Social Impact and Transformation
Transformation Office
Stellenbosch University International
International Programmes SUI
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
