Machine-Checked Executable Semantics of Stateflow.

Shicheng Yi Shuling Wang Bohua Zhan Naijun Zhan

Published in: ICFEM (2022)

Keyphrases

formal semantics
semantic information
semantic representation
control flow
genetic algorithm
batch processing
process algebra
data sets
attribute grammars
real time
databases
logic programming
formal specification
operational semantics