[Nakade et al. 2018] proposed to model check Habanero programs using only one program run. This project aims to further reduce state space being explored by considering symbolic graph instead of concrete one. Habanero synchronization primitives are used to guide SPF execution.

Student

Egor Namakonov

Mentors

  • Eric Mercer
  • Pavel ParĂ­zek
close

2019