[SAL-HELP] SAL in batch mode

[Kirsten Winter]

Hi,

is it possible to run the SAL smc in a kind of batch mode
in which the system model is build up (ie, compiled) once
and then checked against a number of properties (like in 
NuSMV)?
Or is this not possible since the tool builds the
product of system model and property first and then converts
the whole thing into to a BDD representation?

It is not quite clear to me from the output of the tool what
exactly happens and I can't find it documented anywhere
- any pointers?

Thanks,
Kirsten

Kirsten Winter                                    Tel: +61 7 3365 1629
School of Information Technology                  Fax: +61 7 3365 4999
       and Electrical Engineering
The University of Queensland             email: kirsten at itee.uq.edu.au
Queensland    4072   Australia      http://www.itee.uq.edu.au/~kirsten