all AI news
OCTAL: Graph Representation Learning for LTL Model Checking. (arXiv:2207.11649v2 [cs.PL] UPDATED)
cs.LG updates on arXiv.org arxiv.org
Model Checking is widely applied in verifying the correctness of complex and
concurrent systems against a specification. Pure symbolic approaches while
popular, still suffer from the state space explosion problem that makes them
impractical for large scale systems and/or specifications. In this paper, we
propose to use graph representation learning (GRL) for solving linear temporal
logic (LTL) model checking, where the system and the specification are
expressed by a B\"uchi automaton and an LTL formula respectively. A novel
GRL-based framework …
arxiv graph graph representation learning pl representation representation learning