{"version":"1.0","type":"link","title":"Software verification - Newikis","description":"Software verification is a discipline of software engineering, programming languages, and theory of computation whose goal is to assure that software satisfies the expected requirements.","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}