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

Output details

11 - Computer Science and Informatics

University of Liverpool

Return to search Previous output Next output

Output 0 of 0 in the submission

Article title

Combined model checking for temporal, probabilistic, and real-time logics

Type

D - Journal article

DOI

10.1016/j.tcs.2013.07.012

Title of journal

Theoretical Computer Science

Article number

Volume number

503

Issue number

First page of article

ISSN of journal

03043975

Year of publication

2013

URL

Number of additional authors

Additional information

<11>The paper provides a modular mechanism for developing verification tools from constituent model-checkers. It is shown how it can be used to describe both existing combined approaches and as yet unexplored combinations.

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