2488 search results - page 58 / 498 » An improvement in formal verification |
CAV
2007
Springer
14 years 4 months ago
2007
Springer
CAV
2005
Springer
14 years 3 months ago
2005
Springer
MEMOCODE
2010
IEEE
13 years 7 months ago
2010
IEEE
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...
ACSAC
2006
IEEE
14 years 4 months ago
2006
IEEE
We propose an architecture of four complimentary technologies increasingly relevant to a growing number of home users and organizations: cryptography, separation kernels, formal v...
ACSC
2004
IEEE
14 years 1 months ago
2004
IEEE
This paper presents a case study for automatic verification using the Communicating Sequential Processes formalism. The case study concerns the Futurebus+ cache coherency standard...