Workshop on Verification & Validation & Runtime Analysis

Verification & Validation & Runtime Analysis around the Hardware/Software Boundary
Intensive discussions bridging formal methods, runtime verification, and HW/SW co-design

  • 15 November 2026
  • Bariloche (Patagonia, Argentina)
  • 1-day workshop
  • 8–20 participants
  • Light review process

Details can be found here.