Skip to main content

New answers tagged

0 votes

What's role of software verification in modern software engineering

I've worked as a software API tester for over 20 years and I often wanted to apply more formal methods for verifying correctness but found that timelines are too short to do it properly. I suspect ...
IsoCurious's user avatar
-2 votes

What's role of software verification in modern software engineering

Let's shed some light on where and how software verification is used(apart from widely used software). Have a look at this. Space, Military, Telecom, Finance and more. These are the fields where ...
Rinkesh P's user avatar
  • 1,024
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

Top 50 recent answers are included