Sequential Constraints Home Page torics sequential constraints page home relation systems behavior necessary sufficient condition verification total implicant generalization using behavioral logic new paradigm formal boolean simulation modeling furtek reasoning let constraint graphs theories thesis information control mit phd limited science considered laboratory separately Torics.org~Site InfoWhoisTrace RouteRBL Check