C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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