Sustainable digitalization requires trustworthy systems. However, today’s ever-increasing software complexity makes it impossible to build dependable systems with traditional approaches. We will look at past and ongoing projects in program and system analysis and verification, which show how emerging research platforms can pave the way towards long-lived, dependable systems in the future.
In particular, we will have a session on Java Pathfinder, a Java program analysis tool that is developed by over 20 universities world wide, including Stellenbosch University and KTH. We will also look at other groundbreaking techniques in verification and advanced testing.
Find more information here:
https://cyrille-artho.github.io/sasuf-workshop-2019/ Keywords: Trustworthy systems, software analysis, model checking, symbolic execution, fuzzing
Venue: Stellenbosch University, Computer Science Division
Contact details: Willem Visser,
wvisser@cs.sun.ac.za