Matches in SemOpenAlex for { <https://semopenalex.org/work/W2212264424> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2212264424 abstract "A popular method for verification of temporal properties of transition systems is model checking, a systematic exploration of the state space of a system. Explicit representation of states i.e., sets of values of the variables, has been proven inefficient for large and complex systems. For such systems symbolic representations appear to be quite successful. In this work we study symbolic representations for states described by linear arithmetic constraints. We consider two cases: finite and infinite state spaces, depending on whether the variables of the system are bounded or unbounded, respectively. We propose construction algorithms for efficient symbolic representations for linear arithmetic constraints and analyze the complexity of various operations used in model checking. We also implemented these algorithms and used them to verify a wide range of systems such as monitor specifications and mutual exclusion protocols. We experimentally compare the performance of our techniques to other alternative approaches." @default.
- W2212264424 created "2016-06-24" @default.
- W2212264424 creator A5039991493 @default.
- W2212264424 creator A5058899363 @default.
- W2212264424 date "2004-01-01" @default.
- W2212264424 modified "2023-09-27" @default.
- W2212264424 title "Symbolic representations for integer sets in automated verification" @default.
- W2212264424 hasPublicationYear "2004" @default.
- W2212264424 type Work @default.
- W2212264424 sameAs 2212264424 @default.
- W2212264424 citedByCount "0" @default.
- W2212264424 crossrefType "journal-article" @default.
- W2212264424 hasAuthorship W2212264424A5039991493 @default.
- W2212264424 hasAuthorship W2212264424A5058899363 @default.
- W2212264424 hasConcept C105795698 @default.
- W2212264424 hasConcept C110251889 @default.
- W2212264424 hasConcept C11413529 @default.
- W2212264424 hasConcept C134306372 @default.
- W2212264424 hasConcept C159985019 @default.
- W2212264424 hasConcept C17744445 @default.
- W2212264424 hasConcept C192562407 @default.
- W2212264424 hasConcept C199360897 @default.
- W2212264424 hasConcept C199539241 @default.
- W2212264424 hasConcept C204323151 @default.
- W2212264424 hasConcept C23123167 @default.
- W2212264424 hasConcept C2776359362 @default.
- W2212264424 hasConcept C2779167558 @default.
- W2212264424 hasConcept C30888246 @default.
- W2212264424 hasConcept C33923547 @default.
- W2212264424 hasConcept C34388435 @default.
- W2212264424 hasConcept C41008148 @default.
- W2212264424 hasConcept C48103436 @default.
- W2212264424 hasConcept C65620979 @default.
- W2212264424 hasConcept C72434380 @default.
- W2212264424 hasConcept C80444323 @default.
- W2212264424 hasConcept C94625758 @default.
- W2212264424 hasConcept C97137487 @default.
- W2212264424 hasConceptScore W2212264424C105795698 @default.
- W2212264424 hasConceptScore W2212264424C110251889 @default.
- W2212264424 hasConceptScore W2212264424C11413529 @default.
- W2212264424 hasConceptScore W2212264424C134306372 @default.
- W2212264424 hasConceptScore W2212264424C159985019 @default.
- W2212264424 hasConceptScore W2212264424C17744445 @default.
- W2212264424 hasConceptScore W2212264424C192562407 @default.
- W2212264424 hasConceptScore W2212264424C199360897 @default.
- W2212264424 hasConceptScore W2212264424C199539241 @default.
- W2212264424 hasConceptScore W2212264424C204323151 @default.
- W2212264424 hasConceptScore W2212264424C23123167 @default.
- W2212264424 hasConceptScore W2212264424C2776359362 @default.
- W2212264424 hasConceptScore W2212264424C2779167558 @default.
- W2212264424 hasConceptScore W2212264424C30888246 @default.
- W2212264424 hasConceptScore W2212264424C33923547 @default.
- W2212264424 hasConceptScore W2212264424C34388435 @default.
- W2212264424 hasConceptScore W2212264424C41008148 @default.
- W2212264424 hasConceptScore W2212264424C48103436 @default.
- W2212264424 hasConceptScore W2212264424C65620979 @default.
- W2212264424 hasConceptScore W2212264424C72434380 @default.
- W2212264424 hasConceptScore W2212264424C80444323 @default.
- W2212264424 hasConceptScore W2212264424C94625758 @default.
- W2212264424 hasConceptScore W2212264424C97137487 @default.
- W2212264424 hasLocation W22122644241 @default.
- W2212264424 hasOpenAccess W2212264424 @default.
- W2212264424 hasPrimaryLocation W22122644241 @default.
- W2212264424 hasRelatedWork W136416930 @default.
- W2212264424 hasRelatedWork W1522532427 @default.
- W2212264424 hasRelatedWork W1549026625 @default.
- W2212264424 hasRelatedWork W155125600 @default.
- W2212264424 hasRelatedWork W1836499550 @default.
- W2212264424 hasRelatedWork W2103890614 @default.
- W2212264424 hasRelatedWork W2158480007 @default.
- W2212264424 hasRelatedWork W2185606642 @default.
- W2212264424 hasRelatedWork W2188019447 @default.
- W2212264424 hasRelatedWork W2243871733 @default.
- W2212264424 hasRelatedWork W2259337172 @default.
- W2212264424 hasRelatedWork W2299687108 @default.
- W2212264424 hasRelatedWork W2344047591 @default.
- W2212264424 hasRelatedWork W2396441702 @default.
- W2212264424 hasRelatedWork W2534861223 @default.
- W2212264424 hasRelatedWork W2903136864 @default.
- W2212264424 hasRelatedWork W2949792331 @default.
- W2212264424 hasRelatedWork W2950544064 @default.
- W2212264424 hasRelatedWork W2963141263 @default.
- W2212264424 hasRelatedWork W2999051667 @default.
- W2212264424 isParatext "false" @default.
- W2212264424 isRetracted "false" @default.
- W2212264424 magId "2212264424" @default.
- W2212264424 workType "article" @default.