https://github.com/mohannadcse/iotcom

Verifying safety of interactions between IoT apps
https://github.com/mohannadcse/iotcom

call-graph cfg groovy icfg java

Last synced: 5 days ago
JSON representation

Verifying safety of interactions between IoT apps

• Host: GitHub
• URL: https://github.com/mohannadcse/iotcom
• Owner: Mohannadcse
• License: mit
• Created: 2020-03-27T03:26:03.000Z (almost 5 years ago)
• Default Branch: master
• Last Pushed: 2022-05-24T20:23:37.000Z (over 2 years ago)
• Last Synced: 2025-01-12T21:33:31.999Z (14 days ago)
• Topics: call-graph, cfg, groovy, icfg, java
• Language: Alloy
• Homepage:
• Size: 29.9 MB
• Stars: 7
• Watchers: 3
• Forks: 2
• Open Issues: 1

Awesome Lists containing this project