4150 search results - page 582 / 830 » A Practical Approach to Model Extension |
143
click to vote
TPHOL
2008
IEEE
15 years 11 months ago
2008
IEEE
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...
113
Voted
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence verification of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have di...
134
click to vote
ICSE
2005
IEEE-ACM
15 years 10 months ago
2005
IEEE-ACM
Although attractive, CBD has not been widely adopted in domains of embedded systems. The main reason is inability of these technologies to cope with the important concerns of embe...
160
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Testing can be difficult to integrate into software development. Approaches to software testing in relation to implementing software are based on the V-model of testing. The softw...
176
click to vote
CBSQ
2003
Springer
15 years 9 months ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...