96 search results - page 13 / 20 » Formal specification of non-functional properties of compone... |
172
click to vote
ATVA
2006
Springer
15 years 7 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...
137
Voted
SIGSOFT
2009
ACM
16 years 4 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
132
click to vote
KBSE
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
115
click to vote
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
In component-based software development, it is important to ensure interoperability between components based on their unambiguous semantic descriptions, in order to obtain a viabl...
137
click to vote
ISCIS
2004
Springer
15 years 9 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...