Output details
11 - Computer Science and Informatics
University of Glasgow
Article title
An automatic abstraction technique for verifying featured, parameterised systems
Type
D - Journal article
Title of journal
Theoretical Computer Science
Article number
-
Volume number
404
Issue number
3
First page of article
235
ISSN of journal
0304-3975
Year of publication
2008
URL
-
Number of additional authors
1
Additional information
<10> This is the culmination of five years' work by the authors in which they investigate the combined use of abstraction and inductive reasoning to infer model checking results for systems of (any number of) communicating components. The application of model checking in academia and industry is generally limited to small systems of a fixed size. Results like those presented here are essential to leverage known properties of small systems to more general scenarios. TCS is a leading journal in the field.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
2
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-