Matches in SemOpenAlex for { <https://semopenalex.org/work/W4294239967> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W4294239967 abstract "The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex data structures. One recent and promising approach to deal with this problem is the construction of an abstract and correct representation of the global program state allowing to match visited states during program model exploration. In particular, one powerful method to implement abstract matching is to fill the state vector with a minimal amount of relevant variables for each program point. In this paper, we combine the on-the-fly model-checking approach (incremental construction of the program state space) and the static analysis method called influence analysis (extraction of significant variables for each program point) in order to automatically construct an abstract matching function. Firstly, we describe the problem as an alternation-free value-based mu-calculus formula, whose validity can be checked on the program model expressed as a labeled transition system (LTS). Secondly, we translate the analysis into the local resolution of a parameterised boolean equation system (PBES), whose representation enables a more efficient construction of the resulting abstract matching function. Finally, we show how our proposal may be elegantly integrated into CADP, a generic framework for both the design and analysis of distributed systems and the development of verification tools." @default.
- W4294239967 created "2022-09-02" @default.
- W4294239967 creator A5037847969 @default.
- W4294239967 creator A5046981723 @default.
- W4294239967 creator A5070926992 @default.
- W4294239967 date "2006-06-21" @default.
- W4294239967 modified "2023-09-26" @default.
- W4294239967 title "Static Analysis using Parameterised Boolean Equation Systems" @default.
- W4294239967 doi "https://doi.org/10.48550/arxiv.cs/0606092" @default.
- W4294239967 hasPublicationYear "2006" @default.
- W4294239967 type Work @default.
- W4294239967 citedByCount "0" @default.
- W4294239967 crossrefType "posted-content" @default.
- W4294239967 hasAuthorship W4294239967A5037847969 @default.
- W4294239967 hasAuthorship W4294239967A5046981723 @default.
- W4294239967 hasAuthorship W4294239967A5070926992 @default.
- W4294239967 hasBestOaLocation W42942399671 @default.
- W4294239967 hasConcept C105795698 @default.
- W4294239967 hasConcept C110251889 @default.
- W4294239967 hasConcept C11413529 @default.
- W4294239967 hasConcept C14036430 @default.
- W4294239967 hasConcept C165064840 @default.
- W4294239967 hasConcept C17744445 @default.
- W4294239967 hasConcept C199360897 @default.
- W4294239967 hasConcept C199539241 @default.
- W4294239967 hasConcept C2776359362 @default.
- W4294239967 hasConcept C2780801425 @default.
- W4294239967 hasConcept C33923547 @default.
- W4294239967 hasConcept C41008148 @default.
- W4294239967 hasConcept C48103436 @default.
- W4294239967 hasConcept C72434380 @default.
- W4294239967 hasConcept C7342684 @default.
- W4294239967 hasConcept C78458016 @default.
- W4294239967 hasConcept C80444323 @default.
- W4294239967 hasConcept C86803240 @default.
- W4294239967 hasConcept C94625758 @default.
- W4294239967 hasConcept C98183937 @default.
- W4294239967 hasConceptScore W4294239967C105795698 @default.
- W4294239967 hasConceptScore W4294239967C110251889 @default.
- W4294239967 hasConceptScore W4294239967C11413529 @default.
- W4294239967 hasConceptScore W4294239967C14036430 @default.
- W4294239967 hasConceptScore W4294239967C165064840 @default.
- W4294239967 hasConceptScore W4294239967C17744445 @default.
- W4294239967 hasConceptScore W4294239967C199360897 @default.
- W4294239967 hasConceptScore W4294239967C199539241 @default.
- W4294239967 hasConceptScore W4294239967C2776359362 @default.
- W4294239967 hasConceptScore W4294239967C2780801425 @default.
- W4294239967 hasConceptScore W4294239967C33923547 @default.
- W4294239967 hasConceptScore W4294239967C41008148 @default.
- W4294239967 hasConceptScore W4294239967C48103436 @default.
- W4294239967 hasConceptScore W4294239967C72434380 @default.
- W4294239967 hasConceptScore W4294239967C7342684 @default.
- W4294239967 hasConceptScore W4294239967C78458016 @default.
- W4294239967 hasConceptScore W4294239967C80444323 @default.
- W4294239967 hasConceptScore W4294239967C86803240 @default.
- W4294239967 hasConceptScore W4294239967C94625758 @default.
- W4294239967 hasConceptScore W4294239967C98183937 @default.
- W4294239967 hasLocation W42942399671 @default.
- W4294239967 hasLocation W42942399672 @default.
- W4294239967 hasOpenAccess W4294239967 @default.
- W4294239967 hasPrimaryLocation W42942399671 @default.
- W4294239967 hasRelatedWork W1553858749 @default.
- W4294239967 hasRelatedWork W1575870643 @default.
- W4294239967 hasRelatedWork W1992946078 @default.
- W4294239967 hasRelatedWork W1994843883 @default.
- W4294239967 hasRelatedWork W2493800215 @default.
- W4294239967 hasRelatedWork W4294239967 @default.
- W4294239967 hasRelatedWork W895230556 @default.
- W4294239967 hasRelatedWork W1507914724 @default.
- W4294239967 hasRelatedWork W1676756013 @default.
- W4294239967 hasRelatedWork W2520471774 @default.
- W4294239967 isParatext "false" @default.
- W4294239967 isRetracted "false" @default.
- W4294239967 workType "article" @default.