1206 search results - page 122 / 242 » Concurrent Abstract Predicates |
121
Voted
FORTE
2009
15 years 11 days ago
2009
Abstract. In this paper, we present an approach to define the semantics for object-oriented modeling languages. One important property of this semantics is to support underspecifie...
244
Voted
NFM
2011
14 years 9 months ago
2011
Abstract. We present a general scheme for automated instantiation-based invariant discovery. Given a transition system, the scheme produces k-inductive invariants from templates re...
127
Voted
CAV
2012
Springer
13 years 5 months ago
2012
Springer
An algorithmic-learning-based termination analysis technique is presented. The new technique combines transition predicate abstraction, algorithmic learning, and decision procedure...
118
Voted
FDL
2005
IEEE
15 years 8 months ago
2005
IEEE
Heterogeneous system specifications implicitly assume parallel execution of their components that rely on supporting platform architectures and operating systems. Unfortunately, c...
120
click to vote
TAAS
2008
15 years 2 months ago
2008
characterization of indulgence in an abstract computing model that encompasses various communication and resilience schemes. We use our characterization to establish several result...