BOOK-CHAPTER
Model-Checking Over Multi-Valued Logics
Marsha ChećhikSteve EasterbrookVictor Petrovykh
Year: 2001 Lecture notes in computer science Pages: 72-98 Publisher: Springer Science+Business Media
Keywords:
Correctness Computer science Model checking Extension (predicate logic) Semantics (computer science) Theoretical computer science Computation tree logic Temporal logic CTL* Programming language
Metrics
69
Cited By
11.51
FWCI (Field Weighted Citation Impact)
30
Refs
0.99
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Model-Driven Software Engineering Techniques
Physical Sciences → Computer Science → Software
Related Documents
BOOK-CHAPTER
Model Checking with Multi-valued Logics
Lecture notes in computer science Year: 2004 Pages: 281-293
JOURNAL ARTICLE
Model checking with multi-valued temporal logics
Marsha ChećhikSteve EasterbrookBenet Devereux
Year: 2002 Vol: 1102 Pages: 187-192
BOOK-CHAPTER
Model Checking for Multi-valued Computation Tree Logics
Beata KonikowskaWojciech Penczek
Studies in fuzziness and soft computing Year: 2003 Pages: 193-210
JOURNAL ARTICLE
Multi-valued Modal Fixed Point Logics for Model Checking
Year: 2009 Vol: 1281 Pages: 109-113
JOURNAL ARTICLE
Multi-Valued Modal Fixed Point Logics for Model Checking
Journal: IEICE Transactions on Information and Systems Year: 2010 Vol: E93-D (8)Pages: 2036-2039