858 search results - page 135 / 172 » Formal Verification of Digital Systems |
109
click to vote
DGO
2004
15 years 17 days ago
2004
The interdisciplinary project uses a variety of research designs, data collection methodologies, and analysis techniques and two ballot designs to assess five commercially availab...
102
click to vote
TSE
2008
14 years 11 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
118
click to vote
OOPSLA
2010
Springer
14 years 9 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
111
click to vote
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...
115
click to vote
SIGSOFT
2010
ACM
14 years 5 months ago
2010
ACM
Although a number of automatic tools have been developed to detect faults, much of the diagnosis is still being done manually. To help with the diagnostic tasks, we formally intro...