Matches in SemOpenAlex for { <https://semopenalex.org/work/W2397181844> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2397181844 endingPage "308" @default.
- W2397181844 startingPage "303" @default.
- W2397181844 abstract "We present our tool, developed for the analysis and verification of parameterized infinite-state systems. The framework has been successfully applied in the verification of programs handling unbounded data-structures. In such application domain, being able to infer quantified invariants is a mandatory requirement for successful results. We will describe the techniques implemented in our system and discuss how they contribute in achieving important results in the analysis of parameterized distributed and timed systems, as well as of programs with arrays of unknown length." @default.
- W2397181844 created "2016-06-24" @default.
- W2397181844 creator A5041352997 @default.
- W2397181844 creator A5057242516 @default.
- W2397181844 creator A5075152083 @default.
- W2397181844 date "2014-01-01" @default.
- W2397181844 modified "2023-09-23" @default.
- W2397181844 title "A framework for the verification of parameterized infinite-state systems" @default.
- W2397181844 hasPublicationYear "2014" @default.
- W2397181844 type Work @default.
- W2397181844 sameAs 2397181844 @default.
- W2397181844 citedByCount "3" @default.
- W2397181844 countsByYear W23971818442018 @default.
- W2397181844 countsByYear W23971818442019 @default.
- W2397181844 countsByYear W23971818442021 @default.
- W2397181844 crossrefType "proceedings-article" @default.
- W2397181844 hasAuthorship W2397181844A5041352997 @default.
- W2397181844 hasAuthorship W2397181844A5057242516 @default.
- W2397181844 hasAuthorship W2397181844A5075152083 @default.
- W2397181844 hasConcept C110251889 @default.
- W2397181844 hasConcept C11413529 @default.
- W2397181844 hasConcept C120314980 @default.
- W2397181844 hasConcept C134306372 @default.
- W2397181844 hasConcept C165464430 @default.
- W2397181844 hasConcept C33923547 @default.
- W2397181844 hasConcept C36503486 @default.
- W2397181844 hasConcept C41008148 @default.
- W2397181844 hasConcept C48103436 @default.
- W2397181844 hasConcept C80444323 @default.
- W2397181844 hasConceptScore W2397181844C110251889 @default.
- W2397181844 hasConceptScore W2397181844C11413529 @default.
- W2397181844 hasConceptScore W2397181844C120314980 @default.
- W2397181844 hasConceptScore W2397181844C134306372 @default.
- W2397181844 hasConceptScore W2397181844C165464430 @default.
- W2397181844 hasConceptScore W2397181844C33923547 @default.
- W2397181844 hasConceptScore W2397181844C36503486 @default.
- W2397181844 hasConceptScore W2397181844C41008148 @default.
- W2397181844 hasConceptScore W2397181844C48103436 @default.
- W2397181844 hasConceptScore W2397181844C80444323 @default.
- W2397181844 hasLocation W23971818441 @default.
- W2397181844 hasOpenAccess W2397181844 @default.
- W2397181844 hasPrimaryLocation W23971818441 @default.
- W2397181844 hasRelatedWork W1539123944 @default.
- W2397181844 hasRelatedWork W1783679080 @default.
- W2397181844 hasRelatedWork W1860772589 @default.
- W2397181844 hasRelatedWork W1870526560 @default.
- W2397181844 hasRelatedWork W1967917857 @default.
- W2397181844 hasRelatedWork W1968448471 @default.
- W2397181844 hasRelatedWork W1971463038 @default.
- W2397181844 hasRelatedWork W2036526834 @default.
- W2397181844 hasRelatedWork W2048903680 @default.
- W2397181844 hasRelatedWork W2051054731 @default.
- W2397181844 hasRelatedWork W2053685668 @default.
- W2397181844 hasRelatedWork W2260751206 @default.
- W2397181844 hasRelatedWork W2415471432 @default.
- W2397181844 hasRelatedWork W248259320 @default.
- W2397181844 hasRelatedWork W2616886744 @default.
- W2397181844 hasRelatedWork W2767816240 @default.
- W2397181844 hasRelatedWork W2803302060 @default.
- W2397181844 hasRelatedWork W295290875 @default.
- W2397181844 hasRelatedWork W42332353 @default.
- W2397181844 hasRelatedWork W2615062305 @default.
- W2397181844 isParatext "false" @default.
- W2397181844 isRetracted "false" @default.
- W2397181844 magId "2397181844" @default.
- W2397181844 workType "article" @default.