Output details
11 - Computer Science and Informatics
University of Liverpool
Return to search
Output 0 of 0 in the submission
Article title
Combined model checking for temporal, probabilistic, and real-time logics
Type
D - Journal article
Title of journal
Theoretical Computer Science
Article number
-
Volume number
503
Issue number
-
First page of article
61
ISSN of journal
03043975
Year of publication
2013
URL
-
Number of additional authors
2
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
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-