Software as a service (SaaS) services featuring software for program analysis, code governance, reasoning about specifications, and artificial intelligence; providing temporary use of non-downloadable software for developing, testing, and deploying artificial intelligence models and reasoning agents.