598 search results - page 40 / 120 » Efficient and User-Friendly Verification |
78
Voted
ASPDAC
2007
ACM
15 years 1 months ago
2007
ACM
In this paper, we present a method for generating checker circuits from sequential-extended regular expressions (SEREs). Such sequences form the core of increasingly-used Assertion...
88
Voted
FMCAD
2009
Springer
15 years 1 months ago
2009
Springer
Abstract--The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic array theory was introduced by McCarthy and allow...
ICSE
2010
IEEE-ACM
14 years 11 months ago
2010
IEEE-ACM
This paper discusses results achieved in measuring complexity, effectiveness and efficiency, in a series of related software course projects, spanning a period of seven years. We ...
IJNSEC
2008
14 years 9 months ago
2008
To enhance the efficiency of threshold group signature schemes, Yu and Chen, recently, proposed an efficient threshold group signature scheme. By using elliptic curves, the propos...
CSI
2008
14 years 9 months ago
2008
This paper presents a new fair document exchange protocol based on bilinear pairing with off-line trusted third party (TTP). In such a fair exchange scenario, each party owns a va...