Search Results for author:
Found 2 papers, 0 papers with code
Igloo: Soundly Linking Compositional Refinement and Separation Logic for Distributed System Verification
The main technical contribution of our work is a formal framework that soundly relates event-based system models to program specifications in separation logics, such that successful verification establishes a refinement relation between the model and the code.
Logic in Computer Science
DT+GNN: A Fully Explainable Graph Neural Network using Decision Trees
We propose the fully explainable Decision Tree Graph Neural Network (DT+GNN) architecture.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
