trace_exec_get_initial_state()
Builds the initial state formula
trace_exec_get_transition_relation()
Builds the transition relation formula
Last updated on 2010/05/19 22h:26