FRINK Linked Data Fragments server

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

• W2071109087 abstract "Software Product Lines (SPLs) are families of similar software products built from a common set of features. As the number of products of an SPL is potentially exponential in the number of its features, the model checking problem is harder than for single software. A practical way to face this exponential blow-up is to reuse common behaviour between products. We previously introduced Featured Transition Systems (FTS), a mathematical model that serves as a basis for efficient SPL model checking techniques. In this paper, we present ProVeLines, a product line of verifiers for SPLs that incorporates the results of over three years of research on formal verification of SPLs. Being itself a product line, our tool is flexible and extensible, and offers a wide range of solutions for SPL modelling and verification." @default.
• W2071109087 created "2016-06-24" @default.
• W2071109087 creator A5000695937 @default.
• W2071109087 creator A5011513275 @default.
• W2071109087 creator A5030129842 @default.
• W2071109087 creator A5040108036 @default.
• W2071109087 creator A5074187835 @default.
• W2071109087 date "2013-08-26" @default.
• W2071109087 modified "2023-10-17" @default.
• W2071109087 title "ProVeLines" @default.
• W2071109087 cites W1991396026 @default.
• W2071109087 cites W2019477184 @default.
• W2071109087 cites W2022615696 @default.
• W2071109087 cites W2024160016 @default.
• W2071109087 cites W2030224590 @default.
• W2071109087 cites W2049497188 @default.
• W2071109087 cites W2068847249 @default.
• W2071109087 cites W2080728370 @default.
• W2071109087 cites W2110025251 @default.
• W2071109087 cites W2130195901 @default.
• W2071109087 cites W2135081949 @default.
• W2071109087 cites W2161565163 @default.
• W2071109087 cites W2167672803 @default.
• W2071109087 cites W2168086947 @default.
• W2071109087 doi "https://doi.org/10.1145/2499777.2499781" @default.
• W2071109087 hasPublicationYear "2013" @default.
• W2071109087 type Work @default.
• W2071109087 sameAs 2071109087 @default.
• W2071109087 citedByCount "58" @default.
• W2071109087 countsByYear W20711090872014 @default.
• W2071109087 countsByYear W20711090872015 @default.
• W2071109087 countsByYear W20711090872016 @default.
• W2071109087 countsByYear W20711090872017 @default.
• W2071109087 countsByYear W20711090872018 @default.
• W2071109087 countsByYear W20711090872019 @default.
• W2071109087 countsByYear W20711090872020 @default.
• W2071109087 countsByYear W20711090872021 @default.
• W2071109087 countsByYear W20711090872022 @default.
• W2071109087 countsByYear W20711090872023 @default.
• W2071109087 crossrefType "proceedings-article" @default.
• W2071109087 hasAuthorship W2071109087A5000695937 @default.
• W2071109087 hasAuthorship W2071109087A5011513275 @default.
• W2071109087 hasAuthorship W2071109087A5030129842 @default.
• W2071109087 hasAuthorship W2071109087A5040108036 @default.
• W2071109087 hasAuthorship W2071109087A5074187835 @default.
• W2071109087 hasConcept C110251889 @default.
• W2071109087 hasConcept C115903868 @default.
• W2071109087 hasConcept C117671659 @default.
• W2071109087 hasConcept C127413603 @default.
• W2071109087 hasConcept C146978453 @default.
• W2071109087 hasConcept C177264268 @default.
• W2071109087 hasConcept C198352243 @default.
• W2071109087 hasConcept C199360897 @default.
• W2071109087 hasConcept C204323151 @default.
• W2071109087 hasConcept C206588197 @default.
• W2071109087 hasConcept C2524010 @default.
• W2071109087 hasConcept C2777904410 @default.
• W2071109087 hasConcept C2778177629 @default.
• W2071109087 hasConcept C2988046880 @default.
• W2071109087 hasConcept C32833848 @default.
• W2071109087 hasConcept C33923547 @default.
• W2071109087 hasConcept C41008148 @default.
• W2071109087 hasConcept C529173508 @default.
• W2071109087 hasConcept C548081761 @default.
• W2071109087 hasConcept C80444323 @default.
• W2071109087 hasConcept C90673727 @default.
• W2071109087 hasConceptScore W2071109087C110251889 @default.
• W2071109087 hasConceptScore W2071109087C115903868 @default.
• W2071109087 hasConceptScore W2071109087C117671659 @default.
• W2071109087 hasConceptScore W2071109087C127413603 @default.
• W2071109087 hasConceptScore W2071109087C146978453 @default.
• W2071109087 hasConceptScore W2071109087C177264268 @default.
• W2071109087 hasConceptScore W2071109087C198352243 @default.
• W2071109087 hasConceptScore W2071109087C199360897 @default.
• W2071109087 hasConceptScore W2071109087C204323151 @default.
• W2071109087 hasConceptScore W2071109087C206588197 @default.
• W2071109087 hasConceptScore W2071109087C2524010 @default.
• W2071109087 hasConceptScore W2071109087C2777904410 @default.
• W2071109087 hasConceptScore W2071109087C2778177629 @default.
• W2071109087 hasConceptScore W2071109087C2988046880 @default.
• W2071109087 hasConceptScore W2071109087C32833848 @default.
• W2071109087 hasConceptScore W2071109087C33923547 @default.
• W2071109087 hasConceptScore W2071109087C41008148 @default.
• W2071109087 hasConceptScore W2071109087C529173508 @default.
• W2071109087 hasConceptScore W2071109087C548081761 @default.
• W2071109087 hasConceptScore W2071109087C80444323 @default.
• W2071109087 hasConceptScore W2071109087C90673727 @default.
• W2071109087 hasLocation W20711090871 @default.
• W2071109087 hasOpenAccess W2071109087 @default.
• W2071109087 hasPrimaryLocation W20711090871 @default.
• W2071109087 hasRelatedWork W158293337 @default.
• W2071109087 hasRelatedWork W1968563362 @default.
• W2071109087 hasRelatedWork W1998962249 @default.
• W2071109087 hasRelatedWork W2099023631 @default.
• W2071109087 hasRelatedWork W2401796899 @default.
• W2071109087 hasRelatedWork W2952657391 @default.
• W2071109087 hasRelatedWork W3151958197 @default.
• W2071109087 hasRelatedWork W69710652 @default.
• W2071109087 hasRelatedWork W90869365 @default.
• W2071109087 hasRelatedWork W2467097043 @default.

• next