Reyyan Tekin

Latest

• Hippo: A formal-model execution engine to control and verify critical real-time systems