1415 search results - page 1 / 283 » Verified systems by composition from verified components |
SIGSOFT
2003
ACM
14 years 12 months ago
2003
ACM
JSS
2007
13 years 11 months ago
2007
Designing large software systems out of reusable components has become increasingly popular. Although liberal composition of reusable components saves time and expense, many exper...
IPPS
2002
IEEE
14 years 4 months ago
2002
IEEE
A natural trend in most of the engineering disciplines is the construction of systems from components. This has the potential to reduce costs and increase reliability, provided th...
IFM
2004
Springer
14 years 4 months ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...
SIGSOFT
2003
ACM
14 years 12 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...