RTaW aims to contribute to the techniques, tools and computing platforms that make it possible to build provably safe critical systems in a time and cost-effective manner. Here is a collection of our presentations. Do you have any questions or feedback? You are most welcome to contact us. A more comprehensive selection of our publications, including technical papers, can be found on this page.