The Erigone model checker with the Pomegranate compiler The Pomegranate compiler that I wrote as my Master's thesis, designed and implemented for the Erigone model checker.