1116 search results - page 92 / 224 » Applying Predicate Abstraction to Abstract State Machines |
155
click to vote
AC
2000
Springer
15 years 10 months ago
2000
Springer
This tutorial paper discusses a particular style of operational semantics that enables one to give a ‘syntax-directed’ inductive definition of termination which is very useful...
169
click to vote
FSE
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. We discuss the special requirements imposed on the underlying cipher of systems which encrypt each sector of a disk partition independently, and demonstrate a certificati...
131
click to vote
ENTCS
2007
15 years 5 months ago
2007
We present a method for pipeline verification using SMT solvers. It is based on a non-deterministic “mother pipeline” machine (MOP) that abstracts the instruction set archite...
138
click to vote
IPPS
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper addresses the issue of fault-tolerance in applications that make use of network storage. A network abstraction called the Network Storage Stack is presented, along with...
153
click to vote
ICALP
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. In this paper we de ne a precise notion of abstraction relation between continuous dynamical systems and discrete state-transition systems. Our main result states that ev...