Search Results for author:
Found 5 papers, 3 papers with code
DT+GNN: A Fully Explainable Graph Neural Network using Decision Trees
We propose the fully explainable Decision Tree Graph Neural Network (DT+GNN) architecture.
The Prusti project: Formal verification for Rust
Rust is a modern systems programming language designed to offer both performance and static safety.
How do programmers use unsafe Rust?
However, an important assumption of the Rust language, which we dub the Rust hypothesis, is that programmers use Rust by following three main principles: use unsafe code sparingly, make it easy to review, and hide it behind a safe abstraction such that client code can be written in safe Rust.
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
Leveraging Rust types for modular specification and verification
In this paper, we present a novel verification technique that leverages Rust's type system to greatly simplify the specification and verification of system software written in Rust.
