Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313396934> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W4313396934 endingPage "75" @default.
- W4313396934 startingPage "55" @default.
- W4313396934 abstract "The state space explosion restricts the error detection of concurrent software. The abstraction can provide a solution to avoid state space explosion, but it is easy to ignore important details, resulting in inaccurate detection results. This paper proposes a methodology of fine-coarse-grained automatic modelling for Java source programs. By the principle that the execution details of property-unchecked, non-interactive, and unrelated statements do not affect the model checking results, we model coarse-grained model fragments for such statements, while fine-grained model fragments for property-checked, interactive, and related statements. Our method reduces the model and state space and ensures the error detection of the source program based on model checking. Moreover, we prove the equivalence of the fine-grained model, the coarse-grained model, and the program. Finally, this paper gives an experiment to verify the effectiveness of the proposed method." @default.
- W4313396934 created "2023-01-06" @default.
- W4313396934 creator A5013878664 @default.
- W4313396934 creator A5028820002 @default.
- W4313396934 creator A5037979193 @default.
- W4313396934 date "2022-12-30" @default.
- W4313396934 modified "2023-10-14" @default.
- W4313396934 title "Concurrent software fine‐coarse‐grained automatic modelling by Coloured Petri Nets for model checking" @default.
- W4313396934 cites W2102749716 @default.
- W4313396934 cites W2117189826 @default.
- W4313396934 cites W2122948231 @default.
- W4313396934 cites W2150959030 @default.
- W4313396934 cites W2617064781 @default.
- W4313396934 cites W2794102176 @default.
- W4313396934 cites W2802669984 @default.
- W4313396934 cites W2885205415 @default.
- W4313396934 cites W2888221106 @default.
- W4313396934 cites W2912325678 @default.
- W4313396934 cites W2923641807 @default.
- W4313396934 cites W2924068334 @default.
- W4313396934 cites W2993945154 @default.
- W4313396934 cites W2996975866 @default.
- W4313396934 cites W3004097831 @default.
- W4313396934 cites W3130633014 @default.
- W4313396934 cites W3216826351 @default.
- W4313396934 cites W4214916343 @default.
- W4313396934 cites W4220777367 @default.
- W4313396934 cites W4225526013 @default.
- W4313396934 cites W4248352158 @default.
- W4313396934 cites W4249484115 @default.
- W4313396934 cites W4297179784 @default.
- W4313396934 doi "https://doi.org/10.1049/sfw2.12084" @default.
- W4313396934 hasPublicationYear "2022" @default.
- W4313396934 type Work @default.
- W4313396934 citedByCount "0" @default.
- W4313396934 crossrefType "journal-article" @default.
- W4313396934 hasAuthorship W4313396934A5013878664 @default.
- W4313396934 hasAuthorship W4313396934A5028820002 @default.
- W4313396934 hasAuthorship W4313396934A5037979193 @default.
- W4313396934 hasBestOaLocation W43133969341 @default.
- W4313396934 hasConcept C105795698 @default.
- W4313396934 hasConcept C110251889 @default.
- W4313396934 hasConcept C111472728 @default.
- W4313396934 hasConcept C124304363 @default.
- W4313396934 hasConcept C138885662 @default.
- W4313396934 hasConcept C189950617 @default.
- W4313396934 hasConcept C199360897 @default.
- W4313396934 hasConcept C2777904410 @default.
- W4313396934 hasConcept C2780069185 @default.
- W4313396934 hasConcept C33923547 @default.
- W4313396934 hasConcept C38677869 @default.
- W4313396934 hasConcept C41008148 @default.
- W4313396934 hasConcept C41895202 @default.
- W4313396934 hasConcept C548217200 @default.
- W4313396934 hasConcept C72434380 @default.
- W4313396934 hasConcept C80444323 @default.
- W4313396934 hasConceptScore W4313396934C105795698 @default.
- W4313396934 hasConceptScore W4313396934C110251889 @default.
- W4313396934 hasConceptScore W4313396934C111472728 @default.
- W4313396934 hasConceptScore W4313396934C124304363 @default.
- W4313396934 hasConceptScore W4313396934C138885662 @default.
- W4313396934 hasConceptScore W4313396934C189950617 @default.
- W4313396934 hasConceptScore W4313396934C199360897 @default.
- W4313396934 hasConceptScore W4313396934C2777904410 @default.
- W4313396934 hasConceptScore W4313396934C2780069185 @default.
- W4313396934 hasConceptScore W4313396934C33923547 @default.
- W4313396934 hasConceptScore W4313396934C38677869 @default.
- W4313396934 hasConceptScore W4313396934C41008148 @default.
- W4313396934 hasConceptScore W4313396934C41895202 @default.
- W4313396934 hasConceptScore W4313396934C548217200 @default.
- W4313396934 hasConceptScore W4313396934C72434380 @default.
- W4313396934 hasConceptScore W4313396934C80444323 @default.
- W4313396934 hasFunder F4320321001 @default.
- W4313396934 hasIssue "1" @default.
- W4313396934 hasLocation W43133969341 @default.
- W4313396934 hasOpenAccess W4313396934 @default.
- W4313396934 hasPrimaryLocation W43133969341 @default.
- W4313396934 hasRelatedWork W1517948404 @default.
- W4313396934 hasRelatedWork W1572578464 @default.
- W4313396934 hasRelatedWork W1770557760 @default.
- W4313396934 hasRelatedWork W1972616446 @default.
- W4313396934 hasRelatedWork W1990325313 @default.
- W4313396934 hasRelatedWork W2108408848 @default.
- W4313396934 hasRelatedWork W2134177630 @default.
- W4313396934 hasRelatedWork W2380536301 @default.
- W4313396934 hasRelatedWork W2990690886 @default.
- W4313396934 hasRelatedWork W3023081192 @default.
- W4313396934 hasVolume "17" @default.
- W4313396934 isParatext "false" @default.
- W4313396934 isRetracted "false" @default.
- W4313396934 workType "article" @default.