Search Results for "design analysis algorithm"

FOML is an expressive logic rule language that supports object modeling, analysis, and inference. It naturally supports model-level activities, such as constraints (extending UML diagrams), dynamic compositional modeling, analysis and reasoning about models, model testing, design pattern modeling, specification of Domain Specific Modeling Languages, and meta-modeling. FOML can reason about: 1. The model meta-data (meta-model level reasoning, or syntax reasoning) 2. ...

directed graph layout program for GML (Graph-Markup-Language) graph or partial graphviz DOT graph

This project contains a set of tools for formal verification and static analysis of VHDL design.