Describir: Empirical Software Engineering and Verification