Workshop on Verification & Validation & Runtime Analysis
Submitted by M. Leucker on Tue, 2026-04-14 09:39
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.
