Model Checking Programs Using Python In Libreoffice