273 search results - page 3 / 55 » Automated Composition of Hardware Components |
CAV
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. A recent approach to automated assume-guarantee reasoning (AGR) for concurrent systems relies on computing environment assumptions for components using the L algorithm fo...
ACSD
2003
IEEE
14 years 20 days ago
2003
IEEE
In this paper, we present a mathematical model for the composition of software components, at a semantic modelling level. We describe a mathematical concept of a single software c...
ATVA
2007
Springer
14 years 1 months ago
2007
Springer
ATVA
2006
Springer
13 years 11 months ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
ECBS
2009
IEEE
13 years 5 months ago
2009
IEEE
Current domain-specific modeling (DSM) frameworks for designing component-based systems often consider the system's structural and behavioral concerns as the two dominant con...