Averest
synchronous programming language and set of tools to specify, verify, and implement reactive systems
Wikidata: Q2874223
Search on GitHub
| Name | Description | Last pushed to | Open issues | Forks | Stars | Size |
|---|
Latest data update: 2022-11-14
synchronous programming language and set of tools to specify, verify, and implement reactive systems
Wikidata: Q2874223
| Name | Description | Last pushed to | Open issues | Forks | Stars | Size |
|---|
Latest data update: 2022-11-14