Results 171 to 180 of about 14,300 (195)
Some of the next articles are maybe not open access.
Modeling Product Lines with Kripke Structures and Modal Logic
2015Product lines are an established framework for software design. They are specified by special diagrams called feature models. For formal analysis, the latter are usually encoded by propositional theories with Boolean semantics. We discuss a major deficiency of this semantics, and show that it can be fixed by considering that a product is an ...
Zinovy Diskin +3 more
openaire +1 more source
Bounded Model Checking for Partial Kripke Structures
2008Partial Kripke structures model incomplete state spaces with unknown parts. The evaluation of temporal logic formulae on partial Kripke structures is thus based on three-valued interpretations; the additional truth value $\bot$ stands for "unknown whether property true or false".
openaire +1 more source
A new model for model checking: cycle-weighted Kripke structure
Frontiers of Computer Science in China, 2010zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Zhu, Jiaqi +3 more
openaire +1 more source
The application of Kripke-type structures to regional development programs
1993Legal and administraitve decision making are characterized by conflicting laws, statutes and internal regulations making the process extremely difficult to formalize. Defining strategies for modetling priorities and their allocation is of major importance in such an environment.
Matthias Baaz +3 more
openaire +1 more source
Alaska: Antichains for logic, automata and symbolic Kripke structures analysis
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2008ALASKA is a verification tool that implements new algorithms based on antichains [5, 7, 6] to efficiently solve the emptiness problem for both alternating finite automata (AFW) and alternating Büchi automata (ABW). Using the well-known translation from LTL to alternating automata, the tool can decide the satisfiability and validity problems for LTL ...
De Wulf, Martin +3 more
openaire +1 more source
METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS
Journal of Symbolic Logic, 2023Dominik Klein, Rasmus Kræmmer Rendsvig
exaly
Model Checking of Variable Petri Nets by Using the Kripke Structure
, 2022 Ru Yang +4 more
openalex +1 more source
$$\epsilon $$-Approximate Bisimulations for Nondeterministic Fuzzy Kripke Structures
2023openaire +1 more source