2010 | OriginalPaper | Chapter
Satisfiability Degree Analysis for Transition System
Authors : Yang Zhao, Guiming Luo
Published in: Artificial Intelligence and Computational Intelligence
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Classical model checking is not capable of solving the situation of uncertain systems or fault-tolerant systems which occur in the real world commonly. The technique of satisfiability degree (SD) for model checking is a efficient way to solve this problem. Finite paths transition system (FPTS) for calculating satisfiability degree of a LTL logic formula is given. Then, a more general situation about discrete-time Markov chains (DTMCs) is discussed. Then a case named leader election shows the practicability of satisfiability degree for transition system, which cannot be solved by classical model checking.