2748 search results - page 58 / 550 » Generating Object-Z Specifications from Use Cases |
129
click to vote
ICCAD
2009
IEEE
15 years 17 days ago
2009
IEEE
As CMOS devices are scaled down into the nanometer regime, concerns about reliability are mounting. Instead of viewing nanoscale characteristics as an impediment, technologies suc...
AMAI
2004
Springer
15 years 8 months ago
2004
Springer
The paper integrates automatically generated case-splitting expressions, and an efficient translation to CNF, in order to formally verify an out-of-order superscalar processor havi...
106
Voted
DAC
1990
ACM
15 years 6 months ago
1990
ACM
In this paper, we provide an overview of a system designed for verifying the consistency of timing specifications for digital circuits. The utility of the system comes from the ne...
120
click to vote
TRIDENTCOM
2010
IEEE
15 years 20 days ago
2010
IEEE
Abstract. This paper describes AutoNetkit, an auto-configuration tool for complex network emulations using Netkit, allowing large-scale networks to be tested on commodity hardware....
141
click to vote
KBSE
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper we present a concept for automated testing of object-oriented applications and a tool called SeDiTeC that implements these concepts for Java applications. SeDiTeC us...