search

crestdsl / CREST

Continuous REactive SysTems DSL
https://crestdsl.github.io
MIT License
18 stars 2 forks source link

Extract Model Checking from CREST into own package #11

Open stklik opened 5 years ago

stklik commented 5 years ago

I think it would be better in the long run to extract the TCTL + timed Kripke part from CREST and provide it as its own package.

This would make it reusable and extendable. Who knows, maybe other people want to join it, too?

stklik commented 5 years ago

Kickstarting the project here:

https://github.com/stklik/pyTCTL