2488 search results - page 365 / 498 » An improvement in formal verification |
112
click to vote
SAC
2010
ACM
15 years 8 months ago
2010
ACM
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
COSIT
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Ontologies are a common approach to improve semantic interoperability by explicitly specifying the vocabulary used by a particular information community. Complex expressi...
100
click to vote
FMCAD
2009
Springer
15 years 8 months ago
2009
Springer
—Given an erroneous design, functional verification returns an error trace exhibiting a mismatch between the specification and the implementation of a design. Automated design ...
108
click to vote
DATE
2008
IEEE
15 years 8 months ago
2008
IEEE
Despite the growing research effort in formal verification, constraint-based random simulation remains an integral part of design validation, especially for large design componen...
136
click to vote
MEMOCODE
2008
IEEE
15 years 8 months ago
2008
IEEE
Equivalence checking is a classical verification method determining if a finite-state concurrent system (protocol) satisfies its desired external behaviour (service) by compari...