- nontermination
-
n.
* * *
Universalium. 2010.
nontermination
Look at other dictionaries:
nontermination — noun Failure to terminate. The nontermination clause forced the two companies to renew their contract … Wiktionary
nontermination — n … Useful english dictionary
analysis — /euh nal euh sis/, n., pl. analyses / seez /. 1. the separating of any material or abstract entity into its constituent elements (opposed to synthesis). 2. this process as a method of studying the nature of something or of determining its… … Universalium
Concolic testing — (a portmanteau of concrete and symbolic) is a hybrid software verification technique that interleaves concrete execution (testing on particular inputs) with symbolic execution, a classical technique that treats program variables as symbolic… … Wikipedia
