IFM
13 years 11 months ago
2004 Springer
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
IFM
13 years 11 months ago
2004 Springer
Abstract. We present a framework for model checking concurrent software systems which incorporates both states and events. Contrary to other state/event approaches, our work also i...
IFM
13 years 11 months ago
2004 Springer IFM
13 years 11 months ago
2004 Springer IFM
13 years 11 months ago
2004 Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
|