2291 search results - page 122 / 459 » Logic Programming and Model Checking |
118
click to vote
CAV
2005
Springer
15 years 8 months ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
140
click to vote
CAV
2012
Springer
13 years 4 months ago
2012
Springer
Craig interpolation is a well known method of abstraction successfully used in both hardware and software model checking. The logical strength of interpolants can affect the quali...
120
click to vote
ICTAI
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper we developed an Inductive Logic Programming (ILP) based framework ExOpaque that is able to extract a set of Horn clauses from an arbitrary opaque machine learning mo...
110
click to vote
MICAI
2007
Springer
15 years 8 months ago
2007
Springer
In this paper some results are obtained regarding the existence and reachability of minimal fixed points for multiple-valued functions on a multilattice. The concept of inf-preser...
145
Voted
ENTCS
2007
15 years 2 months ago
2007
We suggest a formal model to represent and solve the multicast routing problem in multicast networks. To attain this, we model the network adapting it to a weighted and-or graph, ...