Matches in SemOpenAlex for { <https://semopenalex.org/work/W2079848794> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2079848794 endingPage "352" @default.
- W2079848794 startingPage "337" @default.
- W2079848794 abstract "In this paper, we show how to verify computation tree logic (CTL) properties, using symbolic methods, on systems described in Promela. Symbolic representation is based on data decision diagrams (DDDs) which are n-valued Shared Decision Trees designed to represent dynamic systems with integer domain variables. We describe principal components used for the verification of Promela systems (DDD, representation of Promela programs with DDD, the transposition of the execution of Promela instructions into DDD). Then we compare and contrast our method with the model checker SPIN or classical binary decision diagram (BDD) techniques to highlight as to which system classes SPIN or our tool is more relevant." @default.
- W2079848794 created "2016-06-24" @default.
- W2079848794 creator A5023453269 @default.
- W2079848794 creator A5037695842 @default.
- W2079848794 creator A5038344219 @default.
- W2079848794 date "2010-02-06" @default.
- W2079848794 modified "2023-10-18" @default.
- W2079848794 title "Data decision diagrams for Promela systems analysis" @default.
- W2079848794 cites W1511470875 @default.
- W2079848794 cites W1523442991 @default.
- W2079848794 cites W1537551095 @default.
- W2079848794 cites W1557512698 @default.
- W2079848794 cites W1571497250 @default.
- W2079848794 cites W1718783241 @default.
- W2079848794 cites W1786127122 @default.
- W2079848794 cites W1822320350 @default.
- W2079848794 cites W1874725288 @default.
- W2079848794 cites W1971321632 @default.
- W2079848794 cites W1971979814 @default.
- W2079848794 cites W2023808162 @default.
- W2079848794 cites W2044309072 @default.
- W2079848794 cites W2060095702 @default.
- W2079848794 cites W2080267935 @default.
- W2079848794 cites W2115309705 @default.
- W2079848794 cites W2117189826 @default.
- W2079848794 cites W2130484824 @default.
- W2079848794 cites W2142084809 @default.
- W2079848794 cites W2164372729 @default.
- W2079848794 cites W2173952623 @default.
- W2079848794 cites W4300021588 @default.
- W2079848794 doi "https://doi.org/10.1007/s10009-010-0135-0" @default.
- W2079848794 hasPublicationYear "2010" @default.
- W2079848794 type Work @default.
- W2079848794 sameAs 2079848794 @default.
- W2079848794 citedByCount "4" @default.
- W2079848794 countsByYear W20798487942015 @default.
- W2079848794 countsByYear W20798487942016 @default.
- W2079848794 crossrefType "journal-article" @default.
- W2079848794 hasAuthorship W2079848794A5023453269 @default.
- W2079848794 hasAuthorship W2079848794A5037695842 @default.
- W2079848794 hasAuthorship W2079848794A5038344219 @default.
- W2079848794 hasBestOaLocation W20798487942 @default.
- W2079848794 hasConcept C110251889 @default.
- W2079848794 hasConcept C111498074 @default.
- W2079848794 hasConcept C17744445 @default.
- W2079848794 hasConcept C198008173 @default.
- W2079848794 hasConcept C199360897 @default.
- W2079848794 hasConcept C199539241 @default.
- W2079848794 hasConcept C23123167 @default.
- W2079848794 hasConcept C24858836 @default.
- W2079848794 hasConcept C2776329536 @default.
- W2079848794 hasConcept C2776359362 @default.
- W2079848794 hasConcept C3309909 @default.
- W2079848794 hasConcept C41008148 @default.
- W2079848794 hasConcept C65620979 @default.
- W2079848794 hasConcept C80444323 @default.
- W2079848794 hasConcept C94625758 @default.
- W2079848794 hasConceptScore W2079848794C110251889 @default.
- W2079848794 hasConceptScore W2079848794C111498074 @default.
- W2079848794 hasConceptScore W2079848794C17744445 @default.
- W2079848794 hasConceptScore W2079848794C198008173 @default.
- W2079848794 hasConceptScore W2079848794C199360897 @default.
- W2079848794 hasConceptScore W2079848794C199539241 @default.
- W2079848794 hasConceptScore W2079848794C23123167 @default.
- W2079848794 hasConceptScore W2079848794C24858836 @default.
- W2079848794 hasConceptScore W2079848794C2776329536 @default.
- W2079848794 hasConceptScore W2079848794C2776359362 @default.
- W2079848794 hasConceptScore W2079848794C3309909 @default.
- W2079848794 hasConceptScore W2079848794C41008148 @default.
- W2079848794 hasConceptScore W2079848794C65620979 @default.
- W2079848794 hasConceptScore W2079848794C80444323 @default.
- W2079848794 hasConceptScore W2079848794C94625758 @default.
- W2079848794 hasIssue "5" @default.
- W2079848794 hasLocation W20798487941 @default.
- W2079848794 hasLocation W20798487942 @default.
- W2079848794 hasLocation W20798487943 @default.
- W2079848794 hasLocation W20798487944 @default.
- W2079848794 hasLocation W20798487945 @default.
- W2079848794 hasLocation W20798487946 @default.
- W2079848794 hasOpenAccess W2079848794 @default.
- W2079848794 hasPrimaryLocation W20798487941 @default.
- W2079848794 hasRelatedWork W1552151841 @default.
- W2079848794 hasRelatedWork W1554387452 @default.
- W2079848794 hasRelatedWork W1905658062 @default.
- W2079848794 hasRelatedWork W2079848794 @default.
- W2079848794 hasRelatedWork W2122691518 @default.
- W2079848794 hasRelatedWork W2132514413 @default.
- W2079848794 hasRelatedWork W2162943184 @default.
- W2079848794 hasRelatedWork W2186150309 @default.
- W2079848794 hasRelatedWork W90809164 @default.
- W2079848794 hasRelatedWork W2584649593 @default.
- W2079848794 hasVolume "12" @default.
- W2079848794 isParatext "false" @default.
- W2079848794 isRetracted "false" @default.
- W2079848794 magId "2079848794" @default.
- W2079848794 workType "article" @default.