SESf: A Symbolic Execution engine for Stateflow models.
The SESf is a library that generates the symbolic transition relation for a given Stateflow program.
The library is written in Python 3.6.9
predragf/sesf
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|