Matches in SemOpenAlex for { <https://semopenalex.org/work/W2914225034> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2914225034 abstract "State-based transition systems can take advantage of a symbolic representation of the concepts of state and transition in order to automatically solve verification questions that could not be otherwise tackled in terms of explicit representation of the transition system. We report here our experience in developing solutions, approaches and supporting tools of verification problems regarding the Abstract State Machines (ASMs), a transition system which can be considered as an extension of Finite State Machines. We present the symbolic representation of an ASM and of its computational model in terms of the Yices SMT solver. We also discuss two scenarios of verification questions regarding the ASMs for which the symbolic representation helped us to formalize and solve the problem by satisfiability checking, namely automatic proof of correct ASM refinement and runtime verification." @default.
- W2914225034 created "2019-02-21" @default.
- W2914225034 creator A5021486887 @default.
- W2914225034 creator A5089822604 @default.
- W2914225034 creator A5008671444 @default.
- W2914225034 date "2018-05-04" @default.
- W2914225034 modified "2023-09-23" @default.
- W2914225034 title "SMT for state-based formal methods: the ASM case study" @default.
- W2914225034 doi "https://doi.org/10.29007/djdz" @default.
- W2914225034 hasPublicationYear "2018" @default.
- W2914225034 type Work @default.
- W2914225034 sameAs 2914225034 @default.
- W2914225034 citedByCount "1" @default.
- W2914225034 countsByYear W29142250342018 @default.
- W2914225034 crossrefType "proceedings-article" @default.
- W2914225034 hasAuthorship W2914225034A5008671444 @default.
- W2914225034 hasAuthorship W2914225034A5021486887 @default.
- W2914225034 hasAuthorship W2914225034A5089822604 @default.
- W2914225034 hasBestOaLocation W29142250341 @default.
- W2914225034 hasConcept C110251889 @default.
- W2914225034 hasConcept C111498074 @default.
- W2914225034 hasConcept C145243422 @default.
- W2914225034 hasConcept C164155591 @default.
- W2914225034 hasConcept C167822520 @default.
- W2914225034 hasConcept C168773769 @default.
- W2914225034 hasConcept C17744445 @default.
- W2914225034 hasConcept C199360897 @default.
- W2914225034 hasConcept C199539241 @default.
- W2914225034 hasConcept C23123167 @default.
- W2914225034 hasConcept C2776359362 @default.
- W2914225034 hasConcept C2778029271 @default.
- W2914225034 hasConcept C2778770139 @default.
- W2914225034 hasConcept C2779167558 @default.
- W2914225034 hasConcept C41008148 @default.
- W2914225034 hasConcept C48103436 @default.
- W2914225034 hasConcept C6943359 @default.
- W2914225034 hasConcept C80444323 @default.
- W2914225034 hasConcept C94625758 @default.
- W2914225034 hasConceptScore W2914225034C110251889 @default.
- W2914225034 hasConceptScore W2914225034C111498074 @default.
- W2914225034 hasConceptScore W2914225034C145243422 @default.
- W2914225034 hasConceptScore W2914225034C164155591 @default.
- W2914225034 hasConceptScore W2914225034C167822520 @default.
- W2914225034 hasConceptScore W2914225034C168773769 @default.
- W2914225034 hasConceptScore W2914225034C17744445 @default.
- W2914225034 hasConceptScore W2914225034C199360897 @default.
- W2914225034 hasConceptScore W2914225034C199539241 @default.
- W2914225034 hasConceptScore W2914225034C23123167 @default.
- W2914225034 hasConceptScore W2914225034C2776359362 @default.
- W2914225034 hasConceptScore W2914225034C2778029271 @default.
- W2914225034 hasConceptScore W2914225034C2778770139 @default.
- W2914225034 hasConceptScore W2914225034C2779167558 @default.
- W2914225034 hasConceptScore W2914225034C41008148 @default.
- W2914225034 hasConceptScore W2914225034C48103436 @default.
- W2914225034 hasConceptScore W2914225034C6943359 @default.
- W2914225034 hasConceptScore W2914225034C80444323 @default.
- W2914225034 hasConceptScore W2914225034C94625758 @default.
- W2914225034 hasLocation W29142250341 @default.
- W2914225034 hasOpenAccess W2914225034 @default.
- W2914225034 hasPrimaryLocation W29142250341 @default.
- W2914225034 hasRelatedWork W2047591646 @default.
- W2914225034 hasRelatedWork W2071850807 @default.
- W2914225034 hasRelatedWork W2160562204 @default.
- W2914225034 hasRelatedWork W2210642749 @default.
- W2914225034 hasRelatedWork W2351594802 @default.
- W2914225034 hasRelatedWork W2540053705 @default.
- W2914225034 hasRelatedWork W2755744672 @default.
- W2914225034 hasRelatedWork W3142296598 @default.
- W2914225034 hasRelatedWork W327065828 @default.
- W2914225034 hasRelatedWork W4214727065 @default.
- W2914225034 isParatext "false" @default.
- W2914225034 isRetracted "false" @default.
- W2914225034 magId "2914225034" @default.
- W2914225034 workType "article" @default.