YATZHAR-HAHAM TALI

Method and system for reducing the computation tree to include only model behaviors defined succinctly by a user via regular expressions as being of interest