1223 search results - page 189 / 245 » A Logic for Reasoning about Evidence |
PASTE
2004
ACM
14 years 1 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
CAISE
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. ID-Logic is a knowledge representation language that extends first-order logic with non-monotone inductive definitions. This paper introduces an ID-Logic based framewor...
CONCUR
2003
Springer
14 years 26 days ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
FM
1999
Springer
13 years 12 months ago
1999
Springer
We introduce the concept of a group principal and present a number of different classes of group principals, including threshold-group-principals. These appear to naturally usefu...
TACAS
1999
Springer
13 years 12 months ago
1999
Springer
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...