Matches in SemOpenAlex for { <https://semopenalex.org/work/W2367213712> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2367213712 abstract "Safety analysis for concurrent systems is a vital research field of computer science.Model Checking is one of the most successful technologies of automatic verfication,its successful application is ascribed to the support of valid verification tools.SPIN is a famous tool for analyzing and retrying the logical consistency of concurrent sys- tem.Based on the introduction of the theory ofSPIN,this paper analyzes the channel operation,basic data structures and their functions of SPIN/Promela in detail.The fundamental verification algorithm is designed for software sys- tems.We use the SPIN to verify an example of concurrent system,the corresponding verification output charts are ob- tained." @default.
- W2367213712 created "2016-06-24" @default.
- W2367213712 creator A5031700768 @default.
- W2367213712 creator A5058918418 @default.
- W2367213712 date "2004-01-01" @default.
- W2367213712 modified "2023-09-26" @default.
- W2367213712 title "Verification of Concurrent Systems Using SPIN/Promela" @default.
- W2367213712 hasPublicationYear "2004" @default.
- W2367213712 type Work @default.
- W2367213712 sameAs 2367213712 @default.
- W2367213712 citedByCount "1" @default.
- W2367213712 crossrefType "journal-article" @default.
- W2367213712 hasAuthorship W2367213712A5031700768 @default.
- W2367213712 hasAuthorship W2367213712A5058918418 @default.
- W2367213712 hasConcept C110251889 @default.
- W2367213712 hasConcept C111498074 @default.
- W2367213712 hasConcept C115903868 @default.
- W2367213712 hasConcept C127413603 @default.
- W2367213712 hasConcept C146978453 @default.
- W2367213712 hasConcept C154945302 @default.
- W2367213712 hasConcept C199360897 @default.
- W2367213712 hasConcept C202444582 @default.
- W2367213712 hasConcept C2776329536 @default.
- W2367213712 hasConcept C2776436953 @default.
- W2367213712 hasConcept C2777904410 @default.
- W2367213712 hasConcept C33923547 @default.
- W2367213712 hasConcept C41008148 @default.
- W2367213712 hasConcept C42704618 @default.
- W2367213712 hasConcept C62460635 @default.
- W2367213712 hasConcept C9652623 @default.
- W2367213712 hasConceptScore W2367213712C110251889 @default.
- W2367213712 hasConceptScore W2367213712C111498074 @default.
- W2367213712 hasConceptScore W2367213712C115903868 @default.
- W2367213712 hasConceptScore W2367213712C127413603 @default.
- W2367213712 hasConceptScore W2367213712C146978453 @default.
- W2367213712 hasConceptScore W2367213712C154945302 @default.
- W2367213712 hasConceptScore W2367213712C199360897 @default.
- W2367213712 hasConceptScore W2367213712C202444582 @default.
- W2367213712 hasConceptScore W2367213712C2776329536 @default.
- W2367213712 hasConceptScore W2367213712C2776436953 @default.
- W2367213712 hasConceptScore W2367213712C2777904410 @default.
- W2367213712 hasConceptScore W2367213712C33923547 @default.
- W2367213712 hasConceptScore W2367213712C41008148 @default.
- W2367213712 hasConceptScore W2367213712C42704618 @default.
- W2367213712 hasConceptScore W2367213712C62460635 @default.
- W2367213712 hasConceptScore W2367213712C9652623 @default.
- W2367213712 hasLocation W23672137121 @default.
- W2367213712 hasOpenAccess W2367213712 @default.
- W2367213712 hasPrimaryLocation W23672137121 @default.
- W2367213712 hasRelatedWork W1504525241 @default.
- W2367213712 hasRelatedWork W1523187300 @default.
- W2367213712 hasRelatedWork W1538854713 @default.
- W2367213712 hasRelatedWork W1568461494 @default.
- W2367213712 hasRelatedWork W1968757488 @default.
- W2367213712 hasRelatedWork W1977223654 @default.
- W2367213712 hasRelatedWork W2045082924 @default.
- W2367213712 hasRelatedWork W2066795333 @default.
- W2367213712 hasRelatedWork W2084909409 @default.
- W2367213712 hasRelatedWork W2139368337 @default.
- W2367213712 hasRelatedWork W2141178378 @default.
- W2367213712 hasRelatedWork W2153855203 @default.
- W2367213712 hasRelatedWork W2167118463 @default.
- W2367213712 hasRelatedWork W2294621091 @default.
- W2367213712 hasRelatedWork W2365056313 @default.
- W2367213712 hasRelatedWork W2369236678 @default.
- W2367213712 hasRelatedWork W2737691769 @default.
- W2367213712 hasRelatedWork W3061866020 @default.
- W2367213712 hasRelatedWork W560686730 @default.
- W2367213712 hasRelatedWork W2474794570 @default.
- W2367213712 isParatext "false" @default.
- W2367213712 isRetracted "false" @default.
- W2367213712 magId "2367213712" @default.
- W2367213712 workType "article" @default.