783 search results - page 67 / 157 » Compositional Reasoning in Model Checking |
107
Voted
IAJIT
2008
15 years 2 months ago
2008
: In this paper a run-time model is proposed. The run-time model enforces integrity constraints for attributes that are derived from composition and inheritance hierarchies. The ru...
149
Voted
ECCV
2002
Springer
16 years 4 months ago
2002
Springer
Textures can often more easily be described as a composition of subtextures than as a single texture. The paper proposes a way to model and synthesize such "composite textures...
146
click to vote
WOODPECKER
2001
15 years 3 months ago
2001
Ensuring that specifications are consistent is an important part of specification development and testing. In this paper we introduce the ConsVISor tool for consistency checking o...
98
Voted
MONTEREY
2007
Springer
15 years 8 months ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
115
click to vote
JAIR
2007
15 years 2 months ago
2007
In the recent years several research efforts have focused on the concept of time granularity and its applications. A first stream of research investigated the mathematical model...