598 search results - page 42 / 120 » Efficient and User-Friendly Verification |
DAC
2007
ACM
15 years 1 months ago
2007
ACM
It has long been the practice to create models in C or C++ for architectural studies, software prototyping and RTL verification in the design of Systems-on-Chip (SoC). It is often...
63
Voted
CCS
2010
ACM
14 years 10 months ago
2010
ACM
Provable data possession is a technique for ensuring the integrity of data in outsourcing storage service. In this paper, we propose a cooperative provable data possession scheme ...
COORDINATION
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Recently, there has been much interest in multi-party session types (MPSTs) as a means of rigorously specifying protocols for interaction among multiple distributed parti...
105
click to vote
ICSE
2004
IEEE-ACM
15 years 9 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...
CAV
2004
Springer
15 years 1 months ago
2004
Springer
Abstract. The existence of functional dependency among the state variables of a state transition system was identified as a common cause of inefficient BDD representation in formal...