Matches in SemOpenAlex for { <https://semopenalex.org/work/W2891653194> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2891653194 endingPage "100" @default.
- W2891653194 startingPage "86" @default.
- W2891653194 abstract "Model checking is a technique for automatically assessing the quality of software and hardware systems and designs. Given a formalisation of both the system behaviour and the requirements the system should meet, a model checker returns either a yes or a no. In case the answer is not as expected, it is desirable to provide feedback to the user as to why this is the case. Providing such feedback, however, is not straightforward if the requirement is expressed in a highly expressive logic such as the modal µ-calculus, and when the decision problem is solved using intermediate formalisms. In this paper, we show how to extract witnesses and counterexamples from parameterised Boolean equation systems encoding the model checking problem for the first-order modal µ-calculus. We have implemented our technique in the modelling and analysis toolset mCRL2 and showcase our approach on a few illustrative examples." @default.
- W2891653194 created "2018-09-27" @default.
- W2891653194 creator A5042194099 @default.
- W2891653194 creator A5072739621 @default.
- W2891653194 date "2018-01-01" @default.
- W2891653194 modified "2023-09-23" @default.
- W2891653194 title "Evidence extraction from parameterised Boolean equation systems" @default.
- W2891653194 cites W1493916325 @default.
- W2891653194 cites W1795391326 @default.
- W2891653194 cites W1902047993 @default.
- W2891653194 cites W1984049988 @default.
- W2891653194 cites W2009023733 @default.
- W2891653194 cites W2112525707 @default.
- W2891653194 cites W2126188125 @default.
- W2891653194 cites W2130413791 @default.
- W2891653194 cites W2138696525 @default.
- W2891653194 cites W2140317178 @default.
- W2891653194 cites W2158311980 @default.
- W2891653194 cites W2169821372 @default.
- W2891653194 cites W3100671893 @default.
- W2891653194 hasPublicationYear "2018" @default.
- W2891653194 type Work @default.
- W2891653194 sameAs 2891653194 @default.
- W2891653194 citedByCount "2" @default.
- W2891653194 countsByYear W28916531942020 @default.
- W2891653194 countsByYear W28916531942021 @default.
- W2891653194 crossrefType "journal-article" @default.
- W2891653194 hasAuthorship W2891653194A5042194099 @default.
- W2891653194 hasAuthorship W2891653194A5072739621 @default.
- W2891653194 hasConcept C110251889 @default.
- W2891653194 hasConcept C11413529 @default.
- W2891653194 hasConcept C118615104 @default.
- W2891653194 hasConcept C162838799 @default.
- W2891653194 hasConcept C171018156 @default.
- W2891653194 hasConcept C185592680 @default.
- W2891653194 hasConcept C188027245 @default.
- W2891653194 hasConcept C199343813 @default.
- W2891653194 hasConcept C199360897 @default.
- W2891653194 hasConcept C2524010 @default.
- W2891653194 hasConcept C27508121 @default.
- W2891653194 hasConcept C2777686260 @default.
- W2891653194 hasConcept C33923547 @default.
- W2891653194 hasConcept C41008148 @default.
- W2891653194 hasConcept C71139939 @default.
- W2891653194 hasConcept C71924100 @default.
- W2891653194 hasConcept C80444323 @default.
- W2891653194 hasConceptScore W2891653194C110251889 @default.
- W2891653194 hasConceptScore W2891653194C11413529 @default.
- W2891653194 hasConceptScore W2891653194C118615104 @default.
- W2891653194 hasConceptScore W2891653194C162838799 @default.
- W2891653194 hasConceptScore W2891653194C171018156 @default.
- W2891653194 hasConceptScore W2891653194C185592680 @default.
- W2891653194 hasConceptScore W2891653194C188027245 @default.
- W2891653194 hasConceptScore W2891653194C199343813 @default.
- W2891653194 hasConceptScore W2891653194C199360897 @default.
- W2891653194 hasConceptScore W2891653194C2524010 @default.
- W2891653194 hasConceptScore W2891653194C27508121 @default.
- W2891653194 hasConceptScore W2891653194C2777686260 @default.
- W2891653194 hasConceptScore W2891653194C33923547 @default.
- W2891653194 hasConceptScore W2891653194C41008148 @default.
- W2891653194 hasConceptScore W2891653194C71139939 @default.
- W2891653194 hasConceptScore W2891653194C71924100 @default.
- W2891653194 hasConceptScore W2891653194C80444323 @default.
- W2891653194 hasOpenAccess W2891653194 @default.
- W2891653194 hasRelatedWork W1484737241 @default.
- W2891653194 hasRelatedWork W1505891402 @default.
- W2891653194 hasRelatedWork W1551406732 @default.
- W2891653194 hasRelatedWork W1964089329 @default.
- W2891653194 hasRelatedWork W1990271125 @default.
- W2891653194 hasRelatedWork W2026591657 @default.
- W2891653194 hasRelatedWork W2054424606 @default.
- W2891653194 hasRelatedWork W2185715623 @default.
- W2891653194 hasRelatedWork W21963600 @default.
- W2891653194 hasRelatedWork W2213886569 @default.
- W2891653194 hasRelatedWork W2260592993 @default.
- W2891653194 hasRelatedWork W2369415627 @default.
- W2891653194 hasRelatedWork W2481947210 @default.
- W2891653194 hasRelatedWork W2502580831 @default.
- W2891653194 hasRelatedWork W2949199979 @default.
- W2891653194 hasRelatedWork W3008960538 @default.
- W2891653194 hasRelatedWork W3048546420 @default.
- W2891653194 hasRelatedWork W3048771697 @default.
- W2891653194 hasRelatedWork W81992595 @default.
- W2891653194 hasRelatedWork W2303470490 @default.
- W2891653194 isParatext "false" @default.
- W2891653194 isRetracted "false" @default.
- W2891653194 magId "2891653194" @default.
- W2891653194 workType "article" @default.