This event has ended. Visit the official site or create your own event on Sched.

****** For the SASUF 2020 Research & Innovation Week please visit https://sasuf2020.sched.com *******

Read more about the project on www.sasuf.org and www.facebook.com/SouthAfricaSweden or https://sasuf2020.sched.com

Back To Schedule
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, view media, leave feedback 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 SAST