Output details
11 - Computer Science and Informatics
University of Leicester
Return to search
Output 0 of 0 in the submission
Article title
LTL generalized model checking revisited
Type
D - Journal article
Title of journal
International Journal on Software Tools for Technology Transfer
Article number
-
Volume number
13
Issue number
6
First page of article
571
ISSN of journal
1433-2779
Year of publication
2011
URL
-
Number of additional authors
1
Additional information
<11>Appeared in special issue of "best papers" from VMCAI'09. Linear temporal logic model checking over 3-valued models is important for software verification and used in software engineering. This new characterization of model checking over such structures shows that at least three implementations of model checkers using generalized model checking were erroneously thought to be complete (as acknowledged by developers of tools [Fischbein et al. ACM TOSEM'12]). This paper clarified their exact power and led to (at least) one implementation of a correct solution to the problem [Benes et al. ATVA'11].
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
-
