( back to
The communication can now be made through
The analysis accelerates only on the states described in <filename.acc>.
Use <number> for the acceleration table. by default it is set to 20.
The response is always <r> for the non linear satisfaisability question.
Try <number> values for acceleration parameters if non linear
Analyse of models with
Lossy Fifo channel,
Counters with parameters,
Clocks with parameters,
The communication is made through
Lossy fifo channel,
shared booleans, clocks, counters or enumerative variables.