logo
Mathematical and logical foundations of verification and synthesis