Formally Verified C Code Generation from Hybrid Communicating Sequential Processes.

Shuling Wang Zekun Ji Bohua Zhan Xiong Xu Qiang Gao Naijun Zhan

Published in: CoRR (2024)

Keyphrases

code generation
application development
software development
communication channels
modeling language
code generator
process model
rapid prototyping
software reuse
formal specification
design patterns
online learning
web applications
learning objects
model driven
multi agent
case study