597 search results - page 76 / 120 » E-Process Design and Assurance Using Model Checking |
133
Voted
DSN
2006
IEEE
15 years 8 months ago
2006
IEEE
—Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management systems. To achieve the h...
109
Voted
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
During testing, the execution of valid cases is only one part of the task. Checking the behavior in boundary situations and in the presence of errors is an equally important subje...
113
click to vote
RE
2001
Springer
15 years 7 months ago
2001
Springer
at different levels of abstraction. There are two very different ways of using such languages. One approach is based on the manifestation of a single model, with construction of di...
115
Voted
MICRO
2008
IEEE
15 years 2 months ago
2008
IEEE
Verification of chip multiprocessor memory systems remains challenging. While formal methods have been used to validate protocols, simulation is still the dominant method used to ...
130
Voted
CDVE
2007
Springer
15 years 8 months ago
2007
Springer
In order to build complex, large-scale, dependable systems it is necessary to use a development environment with an integrated set of capabilities that supports editing and formal...