• Christian Dietrich's avatar
    generator/SSE: alternative SSE with APP-FSM · b5016fc8
    Christian Dietrich authored
    The symbolic system execution is now able to enumerate all possible
    system states with two different approaches. Either we can use the "old"
    version which uses states with blocks to be executed in the next step,
    like it is described in LCTES'15 (Dietrich et. al).
    Or we can use the application finite state machines as basis. These
    state machines are smaller (lesser nodes) than the application's
    CFG. They are based on the task's ICFG.
    Change-Id: I05e050ed3f39bd18ecf86b4d7bb423b4ce0825e0
SystemState.py 12.9 KB