1914 search results - page 126 / 383 » Verification by Abstract Interpretation |
87
Voted
TODAES
1998
15 years 10 days ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
120
Voted
TSE
2010
14 years 11 months ago
2010
—Discovering program behaviors and functionalities can ease program comprehension and verification. Existing program analysis approaches have used text mining algorithms to infer...
126
Voted
FCSC
2010
14 years 10 months ago
2010
Abstract Read-write locking is an important mechanism to improve concurrent granularity, but it is difficult to reason about the safety of concurrent programs with read-write locks...
TIM
2010
14 years 7 months ago
2010
Abstract--Palmprint is a unique and reliable biometric characteristic with high usability. With the increasing demand of highly accurate and robust palmprint authentication system,...
ESORICS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. As the number and scope of government regulations and rules mandating trustworthy retention of data keep growing, businesses today are facing a higher degree of regulatio...