1116 search results - page 63 / 224 » Applying Predicate Abstraction to Abstract State Machines |
90
Voted
TVLSI
2008
15 years 28 days ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...
100
Voted
DATE
2004
IEEE
15 years 4 months ago
2004
IEEE
In this paper, we present a technique to design and verify the Look-Aside (LA-1) Interface standard used in network processors. Our design flow includes several refinements starti...
SIGSOFT
2004
ACM
15 years 6 months ago
2004
ACM
Aspect-oriented programming has become an increasingly important means of expressing cross-cutting program abstractions. Despite this, aspects lack support for computeraided veriï...
109
Voted
ISQED
2010
IEEE
15 years 3 months ago
2010
IEEE
We present a method to abstract, formalize, and verify industrial flash memory implementations. Flash memories contain specialized transistors, e.g., floating gate and split gate d...
100
click to vote
CRYPTO
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Cryptographic systems often involve running multiple concurrent instances of some protocol, where the instances have some amount of joint state and randomness. (Examples ...