Verification tools for cyber-physical systems (CPS) often have their own input specification language based on formal models of CPS. This requires tool users to have acquaintance to formal models and thus poses a barrier for new users to get introduced to the verification technology. To address this concern, Verse is a recent Python library that aims to make modeling and verification of CPS more accessible. This library does not require the users to have prior knowledge of formal models of CPS. With the growing popularity of Python, the library has the potential to broaden the user base for CPS verification. In this paper, we study the Verse library and its capabilities and limitations through two case studies: one in vehicle control and the other in swarm robotics, demonstrating the differences from conventional CPS modeling.