EasyChair Smart SlideDocs/Log in
Conference: RV19 (International Conference on Runtime Verification)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Assumption-Based Runtime Verification with Partial Observability and Resets

Assumption-Based Runtime Verification with Partial Observability and Resets

Alessandro Cimatti, Chun Tian and Stefano Tonetta

NuRV: a nuXmv Extension for Runtime Verification

NuRV: a nuXmv Extension for Runtime Verification

Alessandro Cimatti, Chun Tian and Stefano Tonetta

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