no script no facebook ... not the end of the world.
Chart for article 'Modular Construction of the Symbolic Observation Graph - Semantic ...'
Is this chart helpful to you?

Modular Construction of the Symbolic Observation Graph - Semantic ...

SOURCE ARTICLE:
Modular Construction of the Symbolic Observation Graph - Semantic ...

Model checking for Linear Time Logic (LTL) is usually based on converting the (negation of a) property into a Buchi automaton, composing the automaton and the model, and finally checking for emptiness of the language of the composed system. The last step is the crucial stage of the verification process because of the state explosion problem. In this work, we present a solution which builds, in a modular way, an observation graph represented in...

Related Charts