3515 search results - page 182 / 703 » On the semantics of Strategy Logic |
192
click to vote
TLDI
2003
ACM
16 years 15 days ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
224
click to vote
FLAIRS
2008
15 years 9 months ago
2008
Combining probability and first-order logic has been the subject of intensive research during the last ten years. The most well-known formalisms combining probability and some sub...
238
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
The probability theory is a well-studied branch of mathematics, in order to carry out formal reasoning about probability. Thus, it is important to have a logic, both for computati...
193
click to vote
ATS
2003
IEEE
16 years 17 days ago
2003
IEEE
Fault diagnosis of full-scan designs has been progressed significantly. However, most existing techniques are aimed at a logic block with a single fault. Strategies on top of thes...
186
click to vote
ET
2006
15 years 7 months ago
2006
1 Fault diagnosis of full-scan designs has been progressed significantly. However, most existing techniques are aimed at a logic block with a single fault. Strategies on top of the...