1206 search results - page 97 / 242 » Concurrent Abstract Predicates |
123
Voted
CONCURRENCY
1998
15 years 2 months ago
1998
Abstract Advances in high performance computing, communications, and user interfaces enable developers to construct increasingly interactive high performance applications. The Falc...
100
click to vote
ESWS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper presents a minimalist program for RDF, by showing how one can do without several predicates and keywords of the RDF Schema vocabulary, obtaining a simpler lang...
122
Voted
ESOP
2005
Springer
15 years 8 months ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
141
click to vote
FATES
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We propose a syntax-driven test generation technique to auly derive abstract test cases from a set of requirements expressed in a linear temporal logic. Assuming that an ...
109
Voted
ISSE
2010
15 years 26 days ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...