The Library
Software model checking based on game semantics and CSP
Tools
Dimovski, Aleksandar and Lazic, Ranko (2004) Software model checking based on game semantics and CSP. University of Warwick. Department of Computer Science. (Department of Computer Science research report). (Unpublished)
|
PDF
WRAP_cs-rr-403.pdf - Other - Requires a PDF viewer. Download (424Kb) | Preview |
Abstract
We present an approach for software model checking based on game semantics and CSP. Open program fragments are compositionally modelled as CSP processes which represent their game semantics. This translation is performed by a prototype compiler. Observational equivalence and verification of properties are checked by traces refinement using the FDR tool. Effectiveness of our approach is evaluated on several examples.
Item Type: | Report | ||||
---|---|---|---|---|---|
Subjects: | Q Science > QA Mathematics > QA76 Electronic computers. Computer science. Computer software | ||||
Divisions: | Faculty of Science, Engineering and Medicine > Science > Computer Science | ||||
Library of Congress Subject Headings (LCSH): | Game-theoretical semantics, CSP (Computer program language) | ||||
Series Name: | Department of Computer Science research report | ||||
Publisher: | University of Warwick. Department of Computer Science | ||||
Official Date: | 2004 | ||||
Dates: |
|
||||
Number: | Number 403 | ||||
Number of Pages: | 19 | ||||
DOI: | CS-RR-403 | ||||
Institution: | University of Warwick | ||||
Theses Department: | Department of Computer Science | ||||
Status: | Not Peer Reviewed | ||||
Publication Status: | Unpublished | ||||
Funder: | Engineering and Physical Sciences Research Council (EPSRC) | ||||
Grant number: | GR/S52759/01 (EPSRC) | ||||
Related URLs: |
Request changes or add full text files to a record
Repository staff actions (login required)
View Item |
Downloads
Downloads per month over past year