858 search results - page 59 / 172 » Abstract Interpretation Based Verification of Logic Programs |
172
click to vote
CP
2009
Springer
16 years 14 days ago
2009
Springer
Abstract. We address a location-allocation problem that requires deciding the location of a set of facilities, the allocation of customers to those facilities under facility capaci...
103
click to vote
DEXA
2000
Springer
15 years 4 months ago
2000
Springer
The aim of this paper is to show a method that is able to detect a particular class of semantic inconsistencies in a rule-based system (RBS). A semantic inconsistency is defined by...
125
click to vote
DEDS
2000
14 years 11 months ago
2000
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...
KBSE
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
AMAST
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...