858 search results - page 137 / 172 » Abstract Interpretation Based Verification of Logic Programs |
136
click to vote
CADE
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Polynomial constraint-solving plays a prominent role in several areas of engineering and software verification. In particular, polynomial constraint solving has a long an...
135
click to vote
CADE
2007
Springer
16 years 3 months ago
2007
Springer
Fault tolerance mechanisms are a key ingredient of dependable systems. In particular, software-implemented hardware fault tolerance (SIHFT) is gaining in popularity, because of its...
155
click to vote
INFSOF
2010
15 years 12 days ago
2010
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...
154
click to vote
LCTRTS
2010
Springer
15 years 1 months ago
2010
Springer
Concurrent Action-Oriented Specifications (CAOS) model the behavior of a synchronous hardware circuit as asynchronous guarded at an abstraction level higher than the Register Tran...
122
click to vote
ILP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Reasoning plays a central role in intelligent systems that operate in complex situations that involve time constraints. In this paper, we present the Adaptive Logic Inter...