https://github.com/thedhruvrawat/ferryman

Solving the classic Ferryman problem via model-checking using NuSMV Modeller
https://github.com/thedhruvrawat/ferryman

logic-in-computer-science model-checking nusmv

Last synced: about 1 month ago
JSON representation

Solving the classic Ferryman problem via model-checking using NuSMV Modeller

• Host: GitHub
• URL: https://github.com/thedhruvrawat/ferryman
• Owner: thedhruvrawat
• License: mit
• Created: 2021-12-11T09:40:39.000Z (about 3 years ago)
• Default Branch: master
• Last Pushed: 2021-12-11T10:35:35.000Z (about 3 years ago)
• Last Synced: 2023-03-09T23:22:54.121Z (almost 2 years ago)
• Topics: logic-in-computer-science, model-checking, nusmv
• Homepage:
• Size: 2.02 MB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project