FilipeArcanjo/model-checker archive