Talk:PAT (model checker)

URL in the rectangle on the right is wrong... The one in the end of the article is ok — Preceding unsigned comment added by 88.172.118.199 (talk) 16:20, 12 September 2018 (UTC)