Visual modeling and verification of distributed reactive systems

No Thumbnail Available

Click here to download

0403.htm (4.59 KB)

Date

2003

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Keywords

Visual modeling and verification, distributed reactive systems, CSPROM tool, Spin model checker

Source

Lecture Notes in Computer Science, 2003. Vol. 2788: pp. 22-34

URI

http://hdl.handle.net/123456789/24030

Collections

2003