Bharath
-
- Username:
- bharathpgp
- Tags:
- c
Networking
No social network accounts found.
bharathpgp's Projects
-
- Members:
- 3
A compiler and code generator for C language concurrent statecharts. Harel type statecharts are encoded and model-checked, and a C program is produced as output for executing on an embedded system.
Observer
