interdisciplinary verification