P philipzucker.com The C bounded model checker: criminally underused 209 points philzook 2 years ago 125 comments
