440 search results - page 52 / 88 » Predicate Abstraction with Indexed Predicates |
161
click to vote
IS
2011
14 years 8 months ago
2011
Sensor networks are often used to perform monitoring tasks, such as animal and vehicle tracking, or the surveillance of enemy forces in military applications. In this paper we int...
127
click to vote
VMCAI
2007
Springer
15 years 10 months ago
2007
Springer
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
131
click to vote
WADT
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
132
click to vote
VLSID
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper presents a detailed description of the application of a formal verification methodology to an ARM processor. The processor, a hybrid between the ARM7 and the StrongARM ...
132
click to vote
CAV
2007
Springer
15 years 8 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...