Interactive tool support for CSP parallel to B consistency checking

N Evans; H Treharne

doi:10.1007/s00165-007-0034-7

Back

Conference proceeding

Interactive tool support for CSP parallel to B consistency checking

N Evans and H Treharne

FORMAL ASPECTS OF COMPUTING, Vol.19(3), pp.277-302

5th International Workshop on Automated Verification of Critical Systems (AVoCS 05) (Univ Warwick, Coventry, ENGLAND, 12/09/2005 - 13/09/2005)

01/08/2007

DOI: https://doi.org/10.1007/s00165-007-0034-7

Abstract

Science & Technology

Technology

Computer Science

Software Engineering

Computer Science

COMPUTER SCIENCE

SOFTWARE ENGINEERING

CSP

B

formal method integration

tool supported verification

rely/guarantee techniques

Files and links (1)

url

http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000248377800002&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=11d2a86992e85fb529977dad66a846d5View

Author

Metrics

28 Record Views

Details

Title: Interactive tool support for CSP parallel to B consistency checking
Creators: N Evans
H Treharne
Contributors: SPRINGER (Publisher)
Publication Details: FORMAL ASPECTS OF COMPUTING, Vol.19(3), pp.277-302
Conference: 5th International Workshop on Automated Verification of Critical Systems (AVoCS 05) (Univ Warwick, Coventry, ENGLAND, 12/09/2005 - 13/09/2005)
Date published: 01/08/2007
Date submitted: 17/05/2017
Identifiers: 99514580402346
Academic Unit: University of Surrey
Resource Type: Conference proceeding

Interactive tool support for CSP parallel to B consistency checking

Abstract

Files and links (1)

Metrics

Details

Usage Policy