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

MODEL. A machine made on a small scale to show the manner in which it is to be worked or employed.
     2. The Act of Congress of July 4, 1836, section 6, requires an inventor who is desirous to take out a patent for his invention, to furnish a model of his invention, in all cases which admit of representation by model, of a convenient size to exhibit advantageously its several parts.

A Law Dictionary, Adapted to the Constitution and Laws of the United States. By John Bouvier. Published 1856.
References in periodicals archive ?
Cycle detection is an important issue in the heart of model checking, either explicit or symbolic model checking.
Meseguer, "Symbolic model checking of infinite-state systems using narrowing," in Proceedings of the 18th International Conference on Term Rewriting and Applications (RTA '07), vol.
Avrunin, "Symbolic model checking using algebraic geometry," in Proceedings of the 8th International Conference on Computer Aided Verification, vol.
proposed a specification and classification scheme for Indoor spatio-temporal Model, and suggested a list of specifications that can be followed by an Symbolic Model [9].
In this article, we present a new symbolic model checker for analyzing programs with unbounded integer domains.
Symbolic model checking is a technique to perform model checking without explicitly representing the state graph [McMillan 1992].
* a symbolic model, in which the meaning implied by contact with an object assumes prime importance -- as in the notion that wearning Hitler's hat suggests acceptance or approval of his actions
Symbolic model checking [5] is one of the most significant breakthroughs in model checking, and two major fashions of symbolic model checking are widely used: one is the BDD-based manner [6] and the other is SAT-based manner, such as BMC [7] or PDR [8-11] algorithms.
use a symbolic model checking procedure to enumerate exhaustively the set of possible reachable states underlying the process model.
While she hardly seems guilty of such overreach--indeed, the symbolist poet serves only as a symbolic model for the artist--it is nevertheless apparent that her own approach is also more one of accrual than synthesis.
McMillan (Cadence Berkeley Labs) jointly received this year's Kanellakis Award for for their invention of "symbolic model checking." This is a method of formally checking system designs that is widely used in the computer hardware industry and is beginning to show significant promise also in software verification and other areas.

Full browser ?