POSTPONED! Model Checking Under Weak Memory Concurrency
Viktor Vafeiadis
Max Planck Institute for Software Systems
03 Mar 2021, 12:15 pm - 1:15 pm
Saarbrücken building Virtual, room Virtual
Joint Lecture Series
Model checking is an automatic approach for testing and
verifying programs, and has proven to be very effective
in a number of settings ranging from hardware designs to
intricate low-level systems software. In this talk,
I will present our recent research on applying model checking
to weakly consistent concurrent programs. I will explain
the key challenges involved in making model checking
effective in this setting and how to address them.
---
Join Zoom Meeting https://zoom.us/j/91226662016?pwd=UmdLZ01WRW1YUnVmZ0NjQXVBSDQrdz09
Meeting ID: 912 2666 2016 Passcode: jls-20-21
---
Join Zoom Meeting https://zoom.us/j/91226662016?pwd=UmdLZ01WRW1YUnVmZ0NjQXVBSDQrdz09
Meeting ID: 912 2666 2016 Passcode: jls-20-21
Model checking is an automatic approach for testing and
verifying programs, and has proven to be very effective
in a number of settings ranging from hardware designs to
intricate low-level systems software. In this talk,
I will present our recent research on applying model checking
to weakly consistent concurrent programs. I will explain
the key challenges involved in making model checking
effective in this setting and how to address them.
---
Join Zoom Meeting https://zoom.us/j/91226662016?pwd=UmdLZ01WRW1YUnVmZ0NjQXVBSDQrdz09
Meeting ID: 912 2666 2016 Passcode: jls-20-21
---
Join Zoom Meeting https://zoom.us/j/91226662016?pwd=UmdLZ01WRW1YUnVmZ0NjQXVBSDQrdz09
Meeting ID: 912 2666 2016 Passcode: jls-20-21