Skip to content
Research Institute on Verified Trustworthy Software Systems
About Us
Projects
News and Events
Menu Toggle
Latest News
Summer School
Sponsored Events
Annual Meetings
Recruitment
Menu Toggle
Vacancies
Publications
Reports
Menu Toggle
Annual Reports
EDI Statement
People
Contact Us
Email
Zulip
Main Menu
About Us
Abstract: Automatic verification of transparency protocols
Abstract: Benchmarking and verifying quantum computers
Abstract: CsmithEdge: More Effective Compiler Testing by Handling Undefined Behaviour Less Conservatively
Abstract: Design and Verification of Time-Critical Byzantine Fault-Tolerant Systems
Abstract: Formal Verification and Bug Finding at Meta
Abstract: Rust on Morello
Abstract: Security and Legacy at Microsoft
Abstract: The Research Institute for Trustworthy Interconnected Cyber-physical Systems (RITICS)
Accessibility
Annual Meetings
Annual report – all – bridge
Annual Report 2017-18 – bridge
Annual Report 2018-19 – bridge
Annual Report 2019-20 – bridge
Annual Report 2020-21 – bridge
Annual Report 2021-22 – bridge
Annual Reports
Contact Us
EDI Statement
Latest News
News and Events
People
Projects
Publications
Recruitment
Reports
Sponsored Events
Summer School
VeTSS Inaugural Meeting
This page doesn't seem to exist.
It looks like the link pointing here was faulty. Maybe try searching?
Search for:
Search