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

Glenn BrunsPatrice Godefroid

Lecture notes in computer science Year: 2004 Pages: 281-293
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

Koki Nishizawa

Year: 2009 Vol: 1281 Pages: 109-113
JOURNAL ARTICLE

Multi-Valued Modal Fixed Point Logics for Model Checking

Koki Nishizawa

Journal:   IEICE Transactions on Information and Systems Year: 2010 Vol: E93-D (8)Pages: 2036-2039
© 2026 ScienceGate Book Chapters — All rights reserved.