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 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
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...
|