Skip to main content
9 votes
Accepted

What's role of software verification in modern software engineering

This is actually a surprisingly complex topic. Who verifies the verifiers? Have you heard of Ada/SPARK? Ada is a programming language which is mostly used in embedded contexts, including in military ...
Matthieu M.'s user avatar
4 votes

What's role of software verification in modern software engineering

To be honest this feels like it's a question of just practicality and feasibility. The reality is that all of our systems are just so complex these days, that it's almost impossible to just verify ...
Minko_Minkov's user avatar

Only top scored, non community-wiki answers of a minimum length are eligible