answersLogoWhite

0


Best Answer

No. You can only state correctness to a degree of certainty. That degree might be very high, particularly for a very short routine, but no one can prove correctness to 100%.

User Avatar

Wiki User

14y ago
This answer is:
User Avatar

Add your answer:

Earn +20 pts
Q: Is it possible to prove that a software component and even an entire program is correct?
Write your answer...
Submit
Still have questions?
magnify glass
imp
Related questions

What is component ware?

Component ware is one of the kind of the application software in which the each of program does a specific operation.


What is component testing in software testing?

Testing a specific part of a system or even a program. That would be called a component. So it is component testing.


What are possible ways to get past a PC Pandora program?

Possible ways to get past a pandora PC program are to install the initial software, or to install a software that blocks such programs. This software can be found for free on numerous websites.


What software component has icons or menus that you can select to perform a function or run a program?

Graphical user interface


Is apple iwork numbers a spreadsheet program?

Apple's Numbers software is the spreadsheet component of their iWork suite.


What are the basic component of system software used to support enhance or expand existing programs called?

utility program


Which component need not be addressed in a sound APF program?

Agility is incorrect. Out of possible answers: Power, speed, and agility, "None of the above" is the correct answer


Is it possible to load a software from extracted files of the software which areis already in the computer?

No, you have to install the program from the original exe file.


What is a process in terms of computer technology A - A manufacturing weave used in the construction of CPUs B - A hardware component used to connect system parts to one another C - A software?

The correct answer is closest to C. A process is a program that is running on your computer - which is spawned or initiated by software. It's a fine distinction but unless the software is written entirely in machine code, the processes that are running will be a product of the software rather than the software.


Business application software program make it possible to?

increase productivity in the office setting.


Is it possible to save a conversation between a program and a server?

It is possible to save a conversation between a program and a server in some instances. It can record the information if the person who sets up the software turns on the logging function. Then all information can be recorded. This may not be possible with all software, though.


What does the data collecting component of the SQL Server 2008 do?

The data collecting component of the SQL Server 2008 is responsible for importing data into the program interface from a separate application. Copies of the software can be purchased on Amazon.