We propose a Logic of Abstraction, meant to formalize the act of “abstracting away” the irrelevant features of a model. We give complete axiomatizations for a number of variants of this formalism, and explore their expressivity. As a special case, we consider the “logics of filtration”
The use of abstraction in the context of abstract data types, is investigated. Properties to be chec...
<p>The best bet is to find out the most fundamental components within the system and building a theo...
AbstractMulti-valued networks are an important qualitative modelling approach used widely by the bio...
Abstract. Abstraction reduces the problem of whether an infinite state system satisfies version. The...
AbstractAbstraction reduces the problem of whether an infinite state system satisfies a temporal log...
We study two notions of expressiveness, which have appeared in abstraction theory for model checking...
The problem of complexity has kept qualitative physics techniques from being applied to large real-w...
ions P. Pandurang Nayak Recom Technologies, NASA Ames Research Center, MS 269-2 Moffett Field, CA ...
The goal of this paper is to propose a model-theoretic formalization of abstraction, where abstracti...
The use of the abstraction in resolution theorem proving is proposed in order to obtain some global ...
We present a methodology for constructing abstractions and refining them by analyzing counter-exampl...
Making use of the laws of physical transactions, we study symmetrical many-points systems. Relation ...
To reduce complexity of system analysis and control design, simplified models that capture the behav...
Temporal logic model checking is a procedure that accepts a model of a system and a property written...
The advent of ever more complex reactive systems in increasingly critical areas calls for the develo...
The use of abstraction in the context of abstract data types, is investigated. Properties to be chec...
<p>The best bet is to find out the most fundamental components within the system and building a theo...
AbstractMulti-valued networks are an important qualitative modelling approach used widely by the bio...
Abstract. Abstraction reduces the problem of whether an infinite state system satisfies version. The...
AbstractAbstraction reduces the problem of whether an infinite state system satisfies a temporal log...
We study two notions of expressiveness, which have appeared in abstraction theory for model checking...
The problem of complexity has kept qualitative physics techniques from being applied to large real-w...
ions P. Pandurang Nayak Recom Technologies, NASA Ames Research Center, MS 269-2 Moffett Field, CA ...
The goal of this paper is to propose a model-theoretic formalization of abstraction, where abstracti...
The use of the abstraction in resolution theorem proving is proposed in order to obtain some global ...
We present a methodology for constructing abstractions and refining them by analyzing counter-exampl...
Making use of the laws of physical transactions, we study symmetrical many-points systems. Relation ...
To reduce complexity of system analysis and control design, simplified models that capture the behav...
Temporal logic model checking is a procedure that accepts a model of a system and a property written...
The advent of ever more complex reactive systems in increasingly critical areas calls for the develo...
The use of abstraction in the context of abstract data types, is investigated. Properties to be chec...
<p>The best bet is to find out the most fundamental components within the system and building a theo...
AbstractMulti-valued networks are an important qualitative modelling approach used widely by the bio...
DOI
Add to ORKG