Bengaluru Systems Meetup #10
Let's talk Systems, in-person for the first time in a long time!
SN
Srinidhi Nagendra
@zeu5
Lessons and Challenges building a Model checker
Submitted Jul 15, 2025
The talk is divided into two parts. First a general introduction to model checking using simple examples. Then, the second part will describe a new java model checker (JMC - jmc.mpi-sws.org) that we have been working on. I will elaborate on a few challenges and lessons we faced (or are facing) while developing JMC.
The talk should take 30-35 mins with 10 mins for questions.
{{ gettext('Login to leave a comment') }}
{{ gettext('Post a comment…') }}{{ errorMsg }}
{{ gettext('No comments posted yet') }}