FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2049206982> ?p ?o ?g. }

• W2049206982 endingPage "59" @default.
• W2049206982 startingPage "45" @default.
• W2049206982 abstract "Model checking approaches can be divided into two broad categories: global approaches that determine the set of all states in a model M that satisfy a temporal logic formula f, and local approaches in which, given a state s in M, the procedure determines whether s satisfies f. When s is a term of a process language, the model checking procedure can be executed on-the-fly, driven by the syntactical structure of s. For certain classes of systems, e.g. those composed of many parallel components, the local approach is preferable because, depending on the specific property, it may be sufficient to generate and inspect only a relatively small part of the state space. We propose an efficient, on-the-fly, PCTL model checking procedure that is parametric with respect to the semantic interpretation of the language. The procedure comprises both bounded and unbounded until modalities. The correctness of the procedure is shown and its efficiency is compared with a global PCTL model checker on representative applications." @default.
• W2049206982 created "2016-06-24" @default.
• W2049206982 creator A5049253314 @default.
• W2049206982 creator A5049483818 @default.
• W2049206982 creator A5069085203 @default.
• W2049206982 date "2014-10-26" @default.
• W2049206982 modified "2023-09-23" @default.
• W2049206982 title "On-the-fly Probabilistic Model Checking" @default.
• W2049206982 cites W1992996044 @default.
• W2049206982 cites W2005998857 @default.
• W2049206982 cites W2012935476 @default.
• W2049206982 cites W2023808162 @default.
• W2049206982 cites W2037667383 @default.
• W2049206982 cites W2102548669 @default.
• W2049206982 cites W2116863568 @default.
• W2049206982 cites W2117189826 @default.
• W2049206982 cites W2117966169 @default.
• W2049206982 cites W2136786452 @default.
• W2049206982 cites W2141881497 @default.
• W2049206982 cites W2160960583 @default.
• W2049206982 cites W2162943184 @default.
• W2049206982 cites W2167624633 @default.
• W2049206982 cites W2568050379 @default.
• W2049206982 cites W2622039200 @default.
• W2049206982 cites W4230164823 @default.
• W2049206982 cites W97988159 @default.
• W2049206982 doi "https://doi.org/10.4204/eptcs.166.6" @default.
• W2049206982 hasPublicationYear "2014" @default.
• W2049206982 type Work @default.
• W2049206982 sameAs 2049206982 @default.
• W2049206982 citedByCount "4" @default.
• W2049206982 countsByYear W20492069822015 @default.
• W2049206982 countsByYear W20492069822017 @default.
• W2049206982 countsByYear W20492069822021 @default.
• W2049206982 crossrefType "journal-article" @default.
• W2049206982 hasAuthorship W2049206982A5049253314 @default.
• W2049206982 hasAuthorship W2049206982A5049483818 @default.
• W2049206982 hasAuthorship W2049206982A5069085203 @default.
• W2049206982 hasBestOaLocation W20492069822 @default.
• W2049206982 hasConcept C105795698 @default.
• W2049206982 hasConcept C110251889 @default.
• W2049206982 hasConcept C111472728 @default.
• W2049206982 hasConcept C111919701 @default.
• W2049206982 hasConcept C11413529 @default.
• W2049206982 hasConcept C117251300 @default.
• W2049206982 hasConcept C134306372 @default.
• W2049206982 hasConcept C138885662 @default.
• W2049206982 hasConcept C154945302 @default.
• W2049206982 hasConcept C177264268 @default.
• W2049206982 hasConcept C189950617 @default.
• W2049206982 hasConcept C199360897 @default.
• W2049206982 hasConcept C2780654840 @default.
• W2049206982 hasConcept C2781020372 @default.
• W2049206982 hasConcept C33923547 @default.
• W2049206982 hasConcept C34388435 @default.
• W2049206982 hasConcept C41008148 @default.
• W2049206982 hasConcept C48103436 @default.
• W2049206982 hasConcept C49937458 @default.
• W2049206982 hasConcept C55439883 @default.
• W2049206982 hasConcept C80444323 @default.
• W2049206982 hasConceptScore W2049206982C105795698 @default.
• W2049206982 hasConceptScore W2049206982C110251889 @default.
• W2049206982 hasConceptScore W2049206982C111472728 @default.
• W2049206982 hasConceptScore W2049206982C111919701 @default.
• W2049206982 hasConceptScore W2049206982C11413529 @default.
• W2049206982 hasConceptScore W2049206982C117251300 @default.
• W2049206982 hasConceptScore W2049206982C134306372 @default.
• W2049206982 hasConceptScore W2049206982C138885662 @default.
• W2049206982 hasConceptScore W2049206982C154945302 @default.
• W2049206982 hasConceptScore W2049206982C177264268 @default.
• W2049206982 hasConceptScore W2049206982C189950617 @default.
• W2049206982 hasConceptScore W2049206982C199360897 @default.
• W2049206982 hasConceptScore W2049206982C2780654840 @default.
• W2049206982 hasConceptScore W2049206982C2781020372 @default.
• W2049206982 hasConceptScore W2049206982C33923547 @default.
• W2049206982 hasConceptScore W2049206982C34388435 @default.
• W2049206982 hasConceptScore W2049206982C41008148 @default.
• W2049206982 hasConceptScore W2049206982C48103436 @default.
• W2049206982 hasConceptScore W2049206982C49937458 @default.
• W2049206982 hasConceptScore W2049206982C55439883 @default.
• W2049206982 hasConceptScore W2049206982C80444323 @default.
• W2049206982 hasLocation W20492069821 @default.
• W2049206982 hasLocation W20492069822 @default.
• W2049206982 hasOpenAccess W2049206982 @default.
• W2049206982 hasPrimaryLocation W20492069821 @default.
• W2049206982 hasRelatedWork W1607153361 @default.
• W2049206982 hasRelatedWork W2070638102 @default.
• W2049206982 hasRelatedWork W2807819528 @default.
• W2049206982 hasRelatedWork W2809681923 @default.
• W2049206982 hasRelatedWork W2950723509 @default.
• W2049206982 hasRelatedWork W3021273075 @default.
• W2049206982 hasRelatedWork W4287783361 @default.
• W2049206982 hasRelatedWork W798922765 @default.
• W2049206982 hasRelatedWork W88258996 @default.
• W2049206982 hasRelatedWork W2789178056 @default.
• W2049206982 hasVolume "166" @default.
• W2049206982 isParatext "false" @default.
• W2049206982 isRetracted "false" @default.

• next