2488 search results - page 62 / 498 » An improvement in formal verification |
82
Voted
FMCAD
2006
Springer
15 years 4 months ago
2006
Springer
75
Voted
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
Structured-ASIC design provides a mid-way point between FPGA and cell-based ASIC design for performance, area and power, but suffers from the same increasing verification burden a...
95
Voted
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
122
Voted
PPOPP
2010
ACM
15 years 10 months ago
2010
ACM
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...
SPLC
2004
15 years 2 months ago
2004
In this paper, we present a methodology to express, in a formal way, the requirements of products belonging to a product line. We relied on a formalism allowing the representation ...