CS researcher passionate about Formal Methods/Verification, Java Programming, and Petri Nets. Currently working on verification under weak memory models.
Repositories this builder owns.
Others building in the same ecosystem.
Most recently pushed work.
