formal error


formal error
Harmless error. 5 Am J2d A & E § 776.

Ballentine's law dictionary. . 1998.

Look at other dictionaries:

  • Formal equivalence checking — process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. Equivalence checking… …   Wikipedia

  • error — er‧ror [ˈerə ǁ ˈerər] noun [countable] 1. a mistake: • The confusion was the result of a computer error. • The company has made some strategic errors. ˈcompensating ˌerror ACCOUNTING a mistake in keeping accounts that is hard to find because it… …   Financial and business terms

  • Error guessing — is a software testing design technique based on the ability of the tester to draw on his past experience, knowledge and intuition to predict where bugs will be found in the software under test.Some areas to guess are: empty or null strings, zero… …   Wikipedia

  • Error — (Del lat. error.) ► sustantivo masculino 1 Concepto, idea, opinión o juicio falso o equivocado. SINÓNIMO desacierto falsedad ANTÓNIMO verdad 2 Acción o conducta desacertada o reprobable: ■ era un error comportarse de esa manera. 3 Falta o… …   Enciclopedia Universal

  • error — er|ror [ erər ] noun *** 1. ) count or uncount a mistake, for example in a calculation or a decision: error in: an error in our calculations make an error: If you make a typing error, you can correct it using one of these keys.… …   Usage of the words and phrases in modern English

  • Error in forma — Ein error in forma (lat. Fehler in der Form) bezeichnet einen Formfehler, einen formal logischen Fehler. Der error in re bezeichnet dagegen den Sachfehler, den Fehler hinsichtlich des Wesens, in Bezug auf den Inhalt. Siehe auch Latein im Recht… …   Deutsch Wikipedia

  • error or mistake — A claim by the taxpayer that there has been an overpayment of tax. A formal claim has to be made within six years against the overassessment to income tax or capital gains tax resulting from an error or mistake in, or omission from, any return or …   Accounting dictionary

  • in error — formal 1) by mistake, not deliberately The computer had been switched off in error. 2) wrong in what you say or have decided He would not admit he had been in error …   English dictionary

  • Standard error (statistics) — For a value that is sampled with an unbiased normally distributed error, the above depicts the proportion of samples that would fall between 0, 1, 2, and 3 standard deviations above and below the actual value. The standard error is the standard… …   Wikipedia

  • User error — A user error is an error made by the human user of a complex system, usually a computer system, in interacting with it. Although the term is sometimes used by Human Computer Interaction practitioners, the more formal human error term is used in… …   Wikipedia