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 15h:56