Infrastructural Verification

Build Your Knowledge Base

Using our graphical modeler, network designers can transform created models into a knowledge base that is implemented in Prolog. It consists of facts and logical rules describing the model. This knowledge base is used for verification of desired network properties. Using adequate queries, safety experts can, for example, verify that there are disjoint paths between two given network nodes. Such a property is significant if there are fail-operational or redundancy requirements in the network.

Model -> Specify -> Verify


We offer you a set of rules and queries for infrastructural network verification. Additionally, you can also formulate your own domain-specific rules and queries depending on any type of specification. The model is verified and improved iteratively until all verification goals are achieved.