PREDICTOR manual page
Table of Contents

Name

predictor - predict the feasability of reachability analysis

Synopsis

bcg_open [bcg_opt] spec[.bcg] [cc_opt] predictor

or:

caesar.open [caesar_opt] spec[.lotos] [cc_opt] predictor

or:

exp.open [exp_opt] spec[.exp] [cc_opt] predictor

or:

fsp.open [fsp_opt] spec[.lts] [cc_opt] predictor

or:

lnt.open [lnt_opt] spec[.lnt] [cc_opt] predictor

or:

seq.open [seq_opt] spec[.seq] [cc_opt] predictor

Description

This program gives some predictive estimations concerning the feasability of reachability analysis for the BCG graph spec.bcg, the LOTOS program spec.lotos, the composition expression spec.exp, the FSP program spec.lts, the LNT program spec.lnt, or the sequence file spec.seq. It displays: