Advanced search

Found 1 essay matching the above criteria.

1. 1. Exploring properties and limitations of Graph Neural Networks (GNNs) in Software Verification

   University essay from Uppsala universitet/Institutionen för informationsteknologi

   Author : Kexin Xu; [2021]
   Keywords : ;

   Abstract : This study analyzes how applicable Graph Neural Networks (GNNs) can be used for learning the labels of Horn graphs that are generated from Constrained Horn Clauses (CHCs) using Eldarica. To answer this question, 121 mono-direction edge layer graphs and hyper-edge graphs are prepared to be trained and validated and tested, weights per 10 epochs and losses are collected and visualized in 6 scenarios. READ MORE