Giters

pBouillon / ModelChecking

(School Project) TELECOM Nancy's Model checking project

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

telecom-nancyschool-projectmodel-checking

About

(School Project) TELECOM Nancy's Model checking project

telecom-nancyschool-projectmodel-checking

License:MIT License

Languages

Language:TLA 51.9%Language:C 48.1%