5015 search results - page 263 / 1003 » Model Checking a Path |
174
click to vote
CCCG
2010
15 years 8 months ago
2010
We present a data structure which represents a wellshaped convex tetrahedral mesh, M, in linear space such that path traversals visiting a sequence of K tetrahedra require O (K/ l...
182
click to vote
TPHOL
2008
IEEE
16 years 25 days ago
2008
IEEE
Systems that can immediately react to their inputs may suffer from cyclic dependencies between their actions and the corresponding trigger conditions. For this reason, causality an...
187
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper develops a local reasoning method to check lineartime temporal properties of concurrent programs. In practice, it is often infeasible to model check over the p...
220
click to vote
WOODPECKER
2001
15 years 7 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...
187
click to vote
ENTCS
2008
15 years 6 months ago
2008
Constraint automata have been used as an operational model for component connectors described in the coordination language Reo which specifies the cooperation and communication of...