TY  - RPRT
TI  - Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
AU  - Pedro Orvalho
AU  - Marta Kwiatkowska
AU  - Mikoláš Janota
AU  - Vasco Manquinho
PY  - 2025
UR  - https://arxiv.org/abs/2512.02898
ID  - 2512.02898
ER  -