VERSE Lab | Verified Systems Engineering @ NUS