https://github.com/vertexclique/cekic

Experimental system model generator for RTS
https://github.com/vertexclique/cekic

automotive-applications execution-tracer model-checking model-exploration model-export osek rts system-modeling

Last synced: about 1 month ago
JSON representation

Experimental system model generator for RTS

• Host: GitHub
• URL: https://github.com/vertexclique/cekic
• Owner: vertexclique
• License: gpl-3.0
• Created: 2018-11-28T23:08:56.000Z (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2018-12-23T23:22:27.000Z (almost 6 years ago)
• Last Synced: 2024-04-14T19:47:55.763Z (7 months ago)
• Topics: automotive-applications, execution-tracer, model-checking, model-exploration, model-export, osek, rts, system-modeling
• Language: Java
• Homepage:
• Size: 2.84 MB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project