{"name":"AssuranceLabs","short_name":"AssuranceLabs","description":"Formal software behavior computation technology that enables organizations to verify what software will actually do—providing mathematical proof for AI-generated systems.","icons":[{"src":"https://media.base44.com/images/public/6a19869196ea78bc5069b17f/0585992e1_logo.png","sizes":"192x192","type":"image/png"},{"src":"https://media.base44.com/images/public/6a19869196ea78bc5069b17f/0585992e1_logo.png","sizes":"512x512","type":"image/png"}],"start_url":"https://assurancelabs.ai","display":"standalone","theme_color":"#000000","background_color":"#ffffff","scope":"https://assurancelabs.ai"}