816 search results - page 52 / 164 » Automating Verification by Functional Abstraction at the Sys... |
ATVA
2006
Springer
14 years 25 days ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
FMCAD
2000
Springer
14 years 21 days ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
ECWEB
2010
Springer
13 years 7 months ago
2010
Springer
Traditional negotiation, conducted face-to-face and via mail or telephone, is often difficult to manage, prone to misunderstanding, and time consuming. Automated negotiation promis...
ISTA
2004
13 years 10 months ago
2004
Abstract: This paper presents the evidential paradigm of computer-supported mathematical assistance in "doing" mathematics and in reasoning activity. At present, the evid...
FMCAD
2006
Springer
14 years 23 days ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...