GitHub repository: obicons/rmck
Primary language: Go
Description: the robotic model checker