[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

PVS Model-checker



Is it possible to use the pvs model-checker in batch mode as it is for the typechecker and the prover?
If so, which command shall I include in the emacs file?
Thanks in advance.
-- 
Dr Issa TRAORE, ECE department, University of Victoria, 
Victoria, B.C., V8W 3P6, Canada, Fax: (250) 721-6052, 
Work: (250) 721-8697, E-mail: itraore@ece.uvic.ca, 
Home Page: http://www.ece.uvic.ca/~itraore
 
begin:vcard 
n:TRAORE;Issa
tel;fax:(250) 721-6052
tel;home:(250) 598-8899
tel;work:(250) 721-8697
x-mozilla-html:FALSE
url:http://www.ece.uvic.ca/~itraore
org:University of Victoria;Electrical and Computer Engineering
adr:;;;Victoria;B.C.;V8W 3P6;Canada
version:2.1
email;internet:itraore@ece.uvic.ca
x-mozilla-cpt:;-26512
fn: Dr Issa TRAORE
end:vcard