950 search results - page 144 / 190 » Software model checking with SPIN |
192
click to vote
UIST
1993
ACM
15 years 10 months ago
1993
ACM
Model-based user interface design is centered around a description of application objects and operations at a level of ion higher than that of code. A good model can be used to su...
147
click to vote
SIGSOFT
2008
ACM
16 years 6 months ago
2008
ACM
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult....
183
click to vote
ISCA
1999
IEEE
15 years 10 months ago
1999
IEEE
Information integrity in cache memories is a fundamental requirement for dependable computing. Conventional architectures for enhancing cache reliability using check codes make it...
248
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
We present an effective dynamic analysis for finding a broad class of deadlocks, including the well-studied lock-only deadlocks as well as the less-studied, but no less widespread...
173
click to vote
PLDI
2009
ACM
16 years 24 days ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...