SEFM
2005
IEEE
14 years 5 months ago
2005
IEEE
Developing safe multithreaded software systems is difficult due to the potential unwanted interference among concurrent threads. This paper presents a flexible methodology for o...
SEFM
2005
IEEE
14 years 5 months ago
2005
IEEE
Component Based Development (CBD) aims to facilitate the construction of large-scale applications by supporting the composition of simple building blocks into complex applications...
SEFM
2005
IEEE
14 years 5 months ago
2005
IEEE
The three main assertion-based verification approaches are: Design by Contract (DBC), Extended Static Checking (ESC) and Verified Design by Contract (VDBC). Each approach offers a...
SEFM
2005
IEEE
14 years 5 months ago
2005
IEEE
Verification of programs requires reasoning about sets of program states. In case of programs manipulating pointers, program states are pointer graphs. Verification of such prog...
SEFM
2005
IEEE
14 years 5 months ago
2005
IEEE
SEFM
2005
IEEE
14 years 5 months ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
SEFM
2005
IEEE
14 years 5 months ago
2005
IEEE
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
SEFM
2005
IEEE
14 years 5 months ago
2005
IEEE
The need for the B method first appeared in industry, and several commercial tools have been developed to support this formalism. However, few of these tools allow reasoning on t...
SEFM
2005
IEEE
14 years 5 months ago
2005
IEEE
SEFM
2005
IEEE
14 years 5 months ago
2005
IEEE
