( back to
TReX
home page)
TR
E
X
Versions History
[
v1.3
] [
v1.0
]
v 1.3
(02/14/2003)
The communication can now be made through
:
Synchronization gates.
New options
:
-a <filename.acc>
The analysis accelerates only on the states described in <filename.acc>.
-lim <number>
Use <number> for the acceleration table. by default it is set to 20.
-nl <r>
The response is always <r> for the non linear satisfaisability question.
-tv <number>
Try <number> values for acceleration parameters if non linear
v 1.2
(03/05/2002)
Internal Release
v 1.1
(11/15/2001)
Internal Release
v 1.0
(01/10/2001)
Analyse of models with
:
Lossy Fifo channel,
Counters with parameters,
Clocks with parameters,
Booleans,
Enumerative variables
The communication is made through
:
Lossy fifo channel,
shared booleans, clocks, counters or enumerative variables.