Machine-checked executable semantics of Stateflow.

Shicheng Yi Shuling Wang Bohua Zhan Naijun Zhan

Published in: CoRR (2022)

Keyphrases

formal semantics
control flow
logic programming
semantic information
operational semantics
attribute grammars
machine learning
formal specification
process algebra
databases
real world
artificial intelligence
model checking
batch processing