EasyChair Smart SlideUser guide
Author: Pedro Ribeiro

This page shows all presentations of this author published in EasyChair Smart Slide.

Large Language Models for Verification of Reactive Programs

Large Language Models for Verification of Reactive Programs

Holly Hendry, Pedro Ribeiro and Frank Soboczenski

RoboTool: Modelling and Verification with RoboChart

RoboTool: Modelling and Verification with RoboChart

Alvaro Miyazawa, Ana Cavalcanti, Simon Foster, Wei Li, Pedro Ribeiro, Jon Timmis and Jim Woodcock

Presentations in this collection: 2
Copyright © 2002 – 2026 EasyChair