You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Oxford » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of Oxford

Return to search Previous output Next output

Output 46 of 263 in the submission

Article title

Assumption-commitment support for CSP model checking

Type

D - Journal article

DOI

10.1007/s10817-008-9111-8

Title of journal

Journal of Automated Reasoning

Article number

Volume number

Issue number

3-4

First page of article

365

ISSN of journal

0168-7433

Year of publication

2008

URL

http://link.springer.com/article/10.1007/s10817-008-9111-8

Number of additional authors

Additional information

<07>

This paper brings support for the Assumption-Commitment paradigm to the realm of CSP model checking. Techniques developed here have been implemented in a modelling tool (ModelWorks, which provides a front-end to CSP/FDR) in the commercial sector by QinetiQ (Corroboration for this and D-RisQ: see case study 7). The support of these techniques within ModelWorks was instrumental in the winning of follow-on research projects that both applied and extended ModelWorks, and have recently led to its commercial release and a spin-out company, D-RisQ.

This 34-page journal paper expands on the 16-page conference paper presented at AVoCS’06, adding full proofs and experimental validation. None of this work was submitted to RAE2008.

Interdisciplinary

Cross-referral requested

Research group

None

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract