2291 search results - page 105 / 459 » Logic Programming and Model Checking |
129
Voted
PTS
2007
15 years 3 months ago
2007
Black-box testing is a popular technique for assessing the quality of a system. However, in case of a test failure, only little information is available to identify the root-cause ...
128
click to vote
ENTCS
2006
15 years 2 months ago
2006
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
119
click to vote
NGC
2000
Springer
15 years 2 months ago
2000
Springer
In this paper we introduce the logic programminglanguage Disjunctive Chronolog which combines the programming paradigms of temporal and disjunctive logic programming. Disjunctive C...
133
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
We consider graph properties that can be checked from labels, i.e., bit sequences, of logarithmic length attached to vertices. We prove that there exists such a labeling for check...
111
click to vote
DAC
2010
ACM
15 years 6 months ago
2010
ACM
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...