Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/mohith6/design-modelling-and-verification
Design Modelling and Verification of Safety Railway Networks
https://github.com/mohith6/design-modelling-and-verification
critical networktransition promela-model safetysystem spin
Last synced: 7 days ago
JSON representation
Design Modelling and Verification of Safety Railway Networks
- Host: GitHub
- URL: https://github.com/mohith6/design-modelling-and-verification
- Owner: mohith6
- License: gpl-3.0
- Created: 2024-12-18T18:00:42.000Z (21 days ago)
- Default Branch: main
- Last Pushed: 2024-12-27T08:25:37.000Z (12 days ago)
- Last Synced: 2024-12-27T09:26:24.431Z (12 days ago)
- Topics: critical, networktransition, promela-model, safetysystem, spin
- Language: Promela
- Homepage:
- Size: 17.6 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- License: LICENSE