This event has ended. Visit the official site or create your own event on Sched.
Programme South Africa - Sweden Research and Innovation Week 2019 - May 6-10
  • Satellite events (May 6-8) (Across South Africa)
  • South Africa Sweden Research Seminar & Leadership Summit (May-8-10) (Stellenbosch University)
Read more about the project on www.sasuf.org and www.facebook.com/SouthAfricaSweden
Tuesday, May 7 • 09:00 - Wednesday, May 8 •12:00
Making systems trustworthy by model checking and symbolic execution

Sign up or log in to save this to your schedule and see who's attending!

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

Tuesday May 7, 2019 09:00 - Wednesday May 8, 2019 12:00