2024 May

Neural Network Robustness as a Verification Property: A Principled Case Study.

Marco Casadio, Ekaterina Komendantskaya, Matthew L. Daggitt, Wen Kokke, Guy Katz, Guy Amir, and Idan Refaeli. International Conference on Computer Aided Verification, CAV 2022: Computer [...]

Neural Network Robustness as a Verification Property: A Principled Case Study.shelley2024-07-26T09:03:54+00:00

Deadlock-free asynchronous message reordering in Rust with multiparty session types.

Zak Cutner, Nobuko Yoshida, and Martin Vassor. PPoPP ’2022. 2022

Deadlock-free asynchronous message reordering in Rust with multiparty session types.shelley2024-07-26T09:03:54+00:00

Lightweight Approaches to the Verification of Functional Programs.

Eddie Jones. PhD Thesis, University of Bristol. 2023

Lightweight Approaches to the Verification of Functional Programs.shelley2024-07-26T09:03:54+00:00

VeTSS EDI statement.

VeTSS 2023

VeTSS EDI statement.shelley2024-07-26T09:03:54+00:00

Annual Report 2022/2023

VeTSS 2023

Annual Report 2022/2023shelley2024-07-26T09:03:54+00:00

Kent Concurrency Workshop and S-REPLS 15, University of Kent,18‐19 July, 2024

We are very happy to be on of the sponsors of this year's Kent Concurrency Workshop and S-REPLS 15, taking place at the University of [...]

Kent Concurrency Workshop and S-REPLS 15, University of Kent,18‐19 July, 2024shelley2024-05-02T15:33:09+00:00

The Research Institute on
Verified Trustworthy Software Systems

The Research Institute on
Verified Trustworthy Software Systems

Neural Network Robustness as a Verification Property: A Principled Case Study.

Deadlock-free asynchronous message reordering in Rust with multiparty session types.

Lightweight Approaches to the Verification of Functional Programs.

VeTSS EDI statement.

Annual Report 2022/2023

Kent Concurrency Workshop and S-REPLS 15, University of Kent,18‐19 July, 2024

The Research Institute on Verified Trustworthy Software Systems

The Research Institute on Verified Trustworthy Software Systems

The Research Institute on
Verified Trustworthy Software Systems

The Research Institute on
Verified Trustworthy Software Systems