Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567803624> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W1567803624 endingPage "442" @default.
- W1567803624 startingPage "431" @default.
- W1567803624 abstract "Abstract state machines (ASMs) provide the basis of a successful methodology for specification and verification of software and hardware systems. Nevertheless, computer aided verification of ASM-programs has not yet been well-developed. In this paper we try to shed some light on the limits of automatic verifiability of ASM-programs.We introduce a class of restricted ASM-programs, which are called nullary programs, and provide an algorithm that decides whether a given nullary program satisfies a given correctness property (expressible in a CTL*-like temporal logic) on all inputs. Our decision algorithm runs in Pspace and we show that this is optimal. We also show that straightforward generalizations of nullary programs cannot be verified algorithmically, as some basic verification problems become undecidable." @default.
- W1567803624 created "2016-06-24" @default.
- W1567803624 creator A5072115990 @default.
- W1567803624 date "1999-01-01" @default.
- W1567803624 modified "2023-09-23" @default.
- W1567803624 title "Automatic Verification of Abstract State Machines" @default.
- W1567803624 cites W1547570088 @default.
- W1567803624 cites W1612453857 @default.
- W1567803624 cites W1850203898 @default.
- W1567803624 cites W1970629906 @default.
- W1567803624 cites W1975657455 @default.
- W1567803624 cites W2073314176 @default.
- W1567803624 cites W2117189826 @default.
- W1567803624 cites W2234536257 @default.
- W1567803624 cites W4252933876 @default.
- W1567803624 doi "https://doi.org/10.1007/3-540-48683-6_37" @default.
- W1567803624 hasPublicationYear "1999" @default.
- W1567803624 type Work @default.
- W1567803624 sameAs 1567803624 @default.
- W1567803624 citedByCount "37" @default.
- W1567803624 countsByYear W15678036242012 @default.
- W1567803624 countsByYear W15678036242014 @default.
- W1567803624 countsByYear W15678036242015 @default.
- W1567803624 countsByYear W15678036242020 @default.
- W1567803624 crossrefType "book-chapter" @default.
- W1567803624 hasAuthorship W1567803624A5072115990 @default.
- W1567803624 hasBestOaLocation W15678036241 @default.
- W1567803624 hasConcept C145243422 @default.
- W1567803624 hasConcept C167822520 @default.
- W1567803624 hasConcept C199360897 @default.
- W1567803624 hasConcept C41008148 @default.
- W1567803624 hasConcept C48103436 @default.
- W1567803624 hasConcept C80444323 @default.
- W1567803624 hasConceptScore W1567803624C145243422 @default.
- W1567803624 hasConceptScore W1567803624C167822520 @default.
- W1567803624 hasConceptScore W1567803624C199360897 @default.
- W1567803624 hasConceptScore W1567803624C41008148 @default.
- W1567803624 hasConceptScore W1567803624C48103436 @default.
- W1567803624 hasConceptScore W1567803624C80444323 @default.
- W1567803624 hasLocation W15678036241 @default.
- W1567803624 hasOpenAccess W1567803624 @default.
- W1567803624 hasPrimaryLocation W15678036241 @default.
- W1567803624 hasRelatedWork W1521713193 @default.
- W1567803624 hasRelatedWork W1838372604 @default.
- W1567803624 hasRelatedWork W1881902103 @default.
- W1567803624 hasRelatedWork W2075152527 @default.
- W1567803624 hasRelatedWork W2112418889 @default.
- W1567803624 hasRelatedWork W2373258985 @default.
- W1567803624 hasRelatedWork W2500890632 @default.
- W1567803624 hasRelatedWork W2972471777 @default.
- W1567803624 hasRelatedWork W3087756144 @default.
- W1567803624 hasRelatedWork W3120723052 @default.
- W1567803624 isParatext "false" @default.
- W1567803624 isRetracted "false" @default.
- W1567803624 magId "1567803624" @default.
- W1567803624 workType "book-chapter" @default.