GitHub repository: vnord/Spin
Description: Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.