Login / Signup
Formally Verified C Code Generation from Hybrid Communicating Sequential Processes.
Shuling Wang
Zekun Ji
Xiong Xu
Bohua Zhan
Qiang Gao
Naijun Zhan
Published in:
ICCPS (2024)
Keyphrases
</>
code generation
application development
communication channels
software development
code generator
model driven
modeling language
software reuse
rapid prototyping
database systems
formal specification
real world
automatically generated