Program verification
Program verification In computer science, program verification is the process of formally proving that a computer program does exactly what is stated in ...
http://en.wikipedia.org/wiki/Program_verification - 1k - Cached - Similar pages

Program error   (translated from German)
Program error Program error or Software fault, in English also ... an expression from that EDP range. A program error steps into Computerprogrammen up, if that Programmierer a certain condition in that Program logic did not consider, or if those ... ambiguities o. ae. in that Specification the program can lead to nose, and/or. ...
http://de.wikipedia.org/wiki/Programmfehler - 24k - Cached (German) - Wikipedia (German) - Similar pages

Program specification
Program specification A program specification is the definition of what a computer program is expected to do. It can be ... programmatic terms. See also Formal methods Formal verification Formal specification Program transformation Denotational semantics Operational semantics Design ...
http://en.wikipedia.org/wiki/Program_specification - 1k - Cached - Similar pages

Introspector (program)
Introspector (program) To meet Wikipedia's quality standards, this ... C++ refactoring tool FlawFinder is a Python program that analyses C programs PsCan is a C program that parses C and checks for errors ... ChAse DaIkon LoOp EauClaire Moped Blast Formal Verification Tools and Techniques for Autonomous Systems MOPS ... and efficient domain-specific model checkers for verification of dynamic and concurrent software Bounded ...
http://en.wikipedia.org/wiki/Introspector_(program) - 4k - Cached - Similar pages

Program derivation
Program derivation In computer science, program derivation is the derivation a program from its specification, by mathematical means. To derive a program means to write a formal specification, which ... rules in order to obtain an executable program. The program thus obtained is then ...
http://en.wikipedia.org/wiki/Program_derivation - 3k - Cached - Similar pages

Loyalty program
Loyalty program It has been suggested that Cashback be ... used to access such information to expedite verification during receipt of cheques or dispensing of ... For example, a bookseller's loyalty card program might provide a customer with a 10 ... other prizes) or airline miles (Hilton's program allows guests to earn both on the same stay, the only program to date that does so). All ...
http://en.wikipedia.org/wiki/Loyalty_program - 22k - Cached - Similar pages

Functional verification
Functional verification Functional verification, in electronic design automation, is the task ... is a very difficult task, equivalent to program verification, and takes the majority of time and ... operating system on a hypothetical processor. Formal verification attempts to show mathematically that certain ...
http://en.wikipedia.org/wiki/Functional_verification - 2k - Cached - Similar pages

Runtime verification
Runtime verification Runtime verification is a verification technique that combines formal verification and program execution.
http://en.wikipedia.org/wiki/Runtime_verification - 0k - Cached - Similar pages

Formal verification
Formal verification In the context of hardware and software systems, formal verification is the act of proving or disproving ... using formal methods. As opposed to formal verification, Software testing cannot prove that a system ... certain property. Only the process of formal verification can prove that a system does not ... together make it functional and useful. Formal verification can be used for example for ...
http://en.wikipedia.org/wiki/Formal_verification - 7k - Cached - Similar pages

Computer program analysis
Computer program analysis Computer program analysis is the process of automatically analysing ... of computer programs. Two main approaches in program analysis are static program analysis and dynamic program analysis . Main applications of program analysis ...
http://en.wikipedia.org/wiki/Computer_program_analysis - 0k - Cached - Similar pages