440 search results - page 30 / 88 » A challenge for atomicity verification |
108
click to vote
TVLSI
2008
15 years 1 months ago
2008
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
112
click to vote
ENTCS
2002
15 years 1 months ago
2002
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
115
click to vote
TCAD
2002
15 years 1 months ago
2002
With the advent of system-on-a-chip design, many application specific integrated circuits (ASICs) now require multiple design clocks that operate asynchronously to each other. This...
132
click to vote
CCS
2009
ACM
15 years 6 months ago
2009
ACM
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
148
click to vote
TDSC
2008
15 years 1 months ago
2008
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...