819 search results - page 24 / 164 » Using Assumptions to Distribute CTL Model Checking |
108
click to vote
ESEC
1999
Springer
15 years 4 months ago
1999
Springer
The liveness characteristics of a system are intimately related to the notion of fairness. However, the task of explicitly modelling fairness constraints is complicated in practice...
107
click to vote
CONCUR
2004
Springer
15 years 6 months ago
2004
Springer
We describe the expressive power of temporal branching time logics that use the modalities EX and EF. We give a forbidden pattern characterization of the tree languages definable...
107
click to vote
ATVA
2007
Springer
15 years 4 months ago
2007
Springer
A fair non-repudiation protocol should guarantee, (1) when a sender sends a message to a receiver, neither the sender nor the receiver can deny having participated in this communic...
PPOPP
2005
ACM
15 years 6 months ago
2005
ACM
Dataraces in multithreaded programs often indicate severe bugs and can cause unexpected behaviors when different thread interleavings are executed. Because dataraces are a cause f...
98
Voted
ISSE
2010
14 years 11 months 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...