Proof of a programm | Sololearn: Learn to code for FREE!
New course! Every coder should learn Generative AI!
Try a free lesson
- 4

Proof of a programm

how to check this is correct

2nd Feb 2017, 8:45 PM
_$ubha$h_ iitd
_$ubha$h_ iitd - avatar
4 Answers
+ 10
to prove a program is not running, turn off your pc and any battery it has, and make sure your pc is not plugged into any sockets or has any power. this will prove that programs are not running.
3rd Feb 2017, 4:18 AM
Ahri Fox
Ahri Fox - avatar
+ 9
make sure your computer is on, that your monitor is on, that you have good enough computer specs to run a OS and program, that you have a OS installed, that you have a functioning input device such as mouse or keyboard, and that you run a claimed program. if you run a claimed program, and something happens, gee I dunno, IT MUST BE A PROGRAM! your eyes are the proof. check to make sure your eyes are working first. if they aren't then you'll have to use a claimed program that makes sound, and if it makes a sound, your ears are proof that it's a program. but you must check that your ears are working. if they aren't, then you'll have to use a claimed program that uses vibrations on a 3rd party input device. if you feel vibrations, then it is a program, and your nerves are proof. you must check if your nerves are working though. if they aren't, you'll have to use a 3rd party input device that uses shockwaves to your brain. if you feel shockwaves to your brain while using a claimed program, then your brain is proof it's a program. but you must check that your brain is working. if it's not, then I'm afraid you cannot verify the existence of anything, and I would recommend you seek professional help if you want to verify the existence of a program
3rd Feb 2017, 12:26 AM
Ahri Fox
Ahri Fox - avatar
+ 1
sounds like you probably need to read up on: unit testing, software QA (quality assurance) testing, possibly also mathematical proofs.
4th Feb 2017, 9:32 PM
Phil
Phil - avatar
0
Don't run the program , how to proof this is correct?
3rd Feb 2017, 3:52 AM
_$ubha$h_ iitd
_$ubha$h_ iitd - avatar