La verificación de software es un enfoque importante para establecer la fiabilidad de sistemas críticos. Un área de aplicación importante es en el campo de la robótica, ya que los robots asumen más tareas tanto en áreas cotidianas como en dominios altamente especializados. Nuestro interés particular radica en comprobar los planes que se espera que sigan los robots para detectar errores que podrían llevar a un comportamiento poco fiable. Python es un lenguaje de programación popular en el dominio de la robótica a través del uso del Sistema Operativo de Robots (ROS) y varias otras bibliotecas. El paquete de Python proporciona un agente móvil, que modelamos formalmente aquí utilizando Procesos Secuenciales Comunicantes (CSP). Nuestra herramienta interactiva CSP2Turtle con modelos CSP y componentes de Python permite verificar los planes para el agente tortuga utilizando el verificador de modelos FDR antes de ser ejecutados en Python. Esto significa que se pueden evitar ciertas clases de errores, proporcionando un punto de partida para una verificación más detallada de programas y sistemas robóticos más complejos. Ilustramos nuestro enfoque con ejemplos de navegación de robots y evitación de obstáculos en un mundo de cuadrícula 2D. Evaluamos nuestro enfoque y discutimos trabajos futuros, incluyendo cómo nuestro enfoque podría escalarse a sistemas más grandes.