Matches in SemOpenAlex for { <https://semopenalex.org/work/W2149706659> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2149706659 endingPage "158" @default.
- W2149706659 startingPage "147" @default.
- W2149706659 abstract "We present an extension to the Murϕ verifier to verify systems with replicated identical components. Verification is by explicit state enumeration in an abstract state space where states do not record the exact numbers of components. Through a new datatype, called RepetitiveID, the user can suggest the use of such an abstraction to verify a system of fixed size. Murϕ automatically checks the soundness of the abstract state graph, and automatically constructs the abstract state graph using the system description.Using a simple run time check, Murϕ can also determine if it can generalize the verification result of a system with fixed size to systems of larger sizes, including the system with infinite number of components." @default.
- W2149706659 created "2016-06-24" @default.
- W2149706659 creator A5009458897 @default.
- W2149706659 creator A5065153576 @default.
- W2149706659 date "1996-01-01" @default.
- W2149706659 modified "2023-09-27" @default.
- W2149706659 title "Verifying systems with replicated components in murϕ" @default.
- W2149706659 cites W1488858096 @default.
- W2149706659 cites W1514983780 @default.
- W2149706659 cites W1601573304 @default.
- W2149706659 cites W1881906100 @default.
- W2149706659 cites W2034285521 @default.
- W2149706659 cites W2036526834 @default.
- W2149706659 cites W2042087007 @default.
- W2149706659 cites W2042876806 @default.
- W2149706659 cites W2059316473 @default.
- W2149706659 cites W2081810835 @default.
- W2149706659 cites W2102236203 @default.
- W2149706659 cites W2111588167 @default.
- W2149706659 cites W2147269402 @default.
- W2149706659 cites W2170212320 @default.
- W2149706659 cites W4251549117 @default.
- W2149706659 doi "https://doi.org/10.1007/3-540-61474-5_65" @default.
- W2149706659 hasPublicationYear "1996" @default.
- W2149706659 type Work @default.
- W2149706659 sameAs 2149706659 @default.
- W2149706659 citedByCount "59" @default.
- W2149706659 countsByYear W21497066592012 @default.
- W2149706659 countsByYear W21497066592013 @default.
- W2149706659 countsByYear W21497066592014 @default.
- W2149706659 countsByYear W21497066592016 @default.
- W2149706659 countsByYear W21497066592018 @default.
- W2149706659 countsByYear W21497066592020 @default.
- W2149706659 crossrefType "book-chapter" @default.
- W2149706659 hasAuthorship W2149706659A5009458897 @default.
- W2149706659 hasAuthorship W2149706659A5065153576 @default.
- W2149706659 hasBestOaLocation W21497066591 @default.
- W2149706659 hasConcept C111472728 @default.
- W2149706659 hasConcept C11413529 @default.
- W2149706659 hasConcept C118615104 @default.
- W2149706659 hasConcept C124304363 @default.
- W2149706659 hasConcept C132525143 @default.
- W2149706659 hasConcept C138885662 @default.
- W2149706659 hasConcept C156340839 @default.
- W2149706659 hasConcept C199360897 @default.
- W2149706659 hasConcept C2778029271 @default.
- W2149706659 hasConcept C33923547 @default.
- W2149706659 hasConcept C39920170 @default.
- W2149706659 hasConcept C41008148 @default.
- W2149706659 hasConcept C48103436 @default.
- W2149706659 hasConcept C80444323 @default.
- W2149706659 hasConceptScore W2149706659C111472728 @default.
- W2149706659 hasConceptScore W2149706659C11413529 @default.
- W2149706659 hasConceptScore W2149706659C118615104 @default.
- W2149706659 hasConceptScore W2149706659C124304363 @default.
- W2149706659 hasConceptScore W2149706659C132525143 @default.
- W2149706659 hasConceptScore W2149706659C138885662 @default.
- W2149706659 hasConceptScore W2149706659C156340839 @default.
- W2149706659 hasConceptScore W2149706659C199360897 @default.
- W2149706659 hasConceptScore W2149706659C2778029271 @default.
- W2149706659 hasConceptScore W2149706659C33923547 @default.
- W2149706659 hasConceptScore W2149706659C39920170 @default.
- W2149706659 hasConceptScore W2149706659C41008148 @default.
- W2149706659 hasConceptScore W2149706659C48103436 @default.
- W2149706659 hasConceptScore W2149706659C80444323 @default.
- W2149706659 hasLocation W21497066591 @default.
- W2149706659 hasOpenAccess W2149706659 @default.
- W2149706659 hasPrimaryLocation W21497066591 @default.
- W2149706659 hasRelatedWork W1584741922 @default.
- W2149706659 hasRelatedWork W2136859846 @default.
- W2149706659 hasRelatedWork W2149706659 @default.
- W2149706659 hasRelatedWork W2370092331 @default.
- W2149706659 hasRelatedWork W2950371615 @default.
- W2149706659 hasRelatedWork W3023081192 @default.
- W2149706659 hasRelatedWork W3158305228 @default.
- W2149706659 hasRelatedWork W4287756286 @default.
- W2149706659 hasRelatedWork W4318479818 @default.
- W2149706659 hasRelatedWork W92709837 @default.
- W2149706659 isParatext "false" @default.
- W2149706659 isRetracted "false" @default.
- W2149706659 magId "2149706659" @default.
- W2149706659 workType "book-chapter" @default.