898 search results - page 8 / 180 » Transitions of the Pre-Symmetry Set |
SOFSEM
2010
Springer
13 years 5 months ago
2010
Springer
We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
Generation of n -detection test sets is typically done for a single fault model. In this work we investigate the generation of n -detection test sets by pairing each fault of a ta...
WWW
2008
ACM
14 years 8 months ago
2008
ACM
The rising popularity of Web 2.0, such as blogs, forums, online calendars/diaries, etc., makes users more interested in keeping their data on the Web. Sharing of such data could m...
VLDB
1990
ACM
13 years 11 months ago
1990
ACM
DFT
2003
IEEE
14 years 20 days ago
2003
IEEE
In this paper, we propose a new concept of testing only functionally testable transition faults in Broadside Transition testing via a novel constrained ATPG. For each functionally...