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.
Jennifer Müller, 11/25/2021 11:27
Jennifer Müller, 02/23/2021 16:16
Jennifer Müller, 11/04/2020 10:09
Jennifer Müller, 10/16/2020 14:37 -- Created document.