# model

(redirected from symbolic model)
Also found in: Dictionary, Thesaurus, Medical, Legal, Encyclopedia.

## Model

Any mathematical formula or other structure that economists use to explain or predict occurrences. Economists test their models with real world facts before they gain wide acceptance, but, even then, there is no guarantee that a model will always be a correct predictor. See also: Model risk.
Farlex Financial Dictionary. © 2012 Farlex, Inc. All Rights Reserved

## model

An abstraction of reality, generally referring in investments to a mathematical formula designed to determine security values. Economists also use models to project trends in economic variables such as interest rates, economic activity, and inflation rates.
Wall Street Words: An A to Z Guide to Investment Terms for Today's Investor by David L. Scott. Copyright © 2003 by Houghton Mifflin Company. Published by Houghton Mifflin Company. All rights reserved. All rights reserved.

## model

see ECONOMIC MODEL.
Collins Dictionary of Economics, 4th ed. © C. Pass, B. Lowes, L. Davies 2005
References in periodicals archive ?
3.2 Short counterexamples in symbolic model checking
Table 1 summarizes the specifications of Semantic Location model and compares with other existing Symbolic models. It classifies the location models with respect to the supported coordinate type(sym = symbolic, geom=geometric), the supported queries(P=position, R=range, N=nearest neighbor).
There are three main reasons for using partitioning techniques in our symbolic model checker: (1) to reduce the sizes of the Presburger formulas generated during the fixpoint computations and to improve the efficiency of their manipulation; (2) to eliminate selected variables by partitioning the state-space based on their valuations; and (3) to improve the accuracy of the conservative approximation techniques.
Given a finite state system, the symbolic model checking method starts with the construction of the OBDD for the transition relations TR(V, V').
The core procedure of BDD-based LTL symbolic model checking algorithm is to construct a tableau for the (negated) property.
Additional Key Words and Phrases: Binary decision diagrams, real-time verification, symbolic model checking, synchronous real-time event logic
Wu, "Application of Wu's method to symbolic model checking," in Proceedings of the International Symposium on Symbolic and Algebraic Computation (ISSAC '05), pp.
And in [18], a tester based symbolic model checking approach is proposed by Pnueli and Zacks to deal with PSL properties.
Computational symbolic models are powerful tools for making ideas explicit because they support the formal definition of all the terms in an argument, and these formal definitions may be used to compute the consequences of a set of arguments.
McMillan, Symbolic Model Checking, Kluwer Academic, 1993.
We implemented the symbolic model using AI object-oriented symbolic representation tools and methods.

Site: Follow: Share:
Open / Close