Matches in SemOpenAlex for { <https://semopenalex.org/work/W3034937599> ?p ?o ?g. }
Showing items 1 to 64 of
64
with 100 items per page.
- W3034937599 abstract "Nowadays, more and more systems change dynamically during their life cycle, runtime probabilistic model checking is proposed to verify these system. An important challenge of runtime probabilistic model checking is its performance. It should be fast enough to respond to runtime requirements and continuously verify whether the current system meets system requirements when the system changes dynamically. In this paper, in view of the efficiency of the runtime probabilistic model checking, we propose a runtime probabilistic model checking based on incremental method. The method applies the ideal of incremental verification to reuse the calculated value of the previous model to reduce the number of iterations and improve their performance. We implement our method in model checking tool PRISM, and use a benchmark case model to perform model verification on its reachability properties. The results of the experiments show that the method proposed in this paper can reduce the system verification time of standard runtime probabilistic model checking by more than 45% in most of cases." @default.
- W3034937599 created "2020-06-19" @default.
- W3034937599 creator A5008883063 @default.
- W3034937599 date "2020-06-15" @default.
- W3034937599 modified "2023-09-23" @default.
- W3034937599 title "Runtime Probabilistic Model Checking Based on Incremental Method" @default.
- W3034937599 doi "https://doi.org/10.25236/ajcis.2020.030212" @default.
- W3034937599 hasPublicationYear "2020" @default.
- W3034937599 type Work @default.
- W3034937599 sameAs 3034937599 @default.
- W3034937599 citedByCount "0" @default.
- W3034937599 crossrefType "journal-article" @default.
- W3034937599 hasAuthorship W3034937599A5008883063 @default.
- W3034937599 hasConcept C110251889 @default.
- W3034937599 hasConcept C111498074 @default.
- W3034937599 hasConcept C11413529 @default.
- W3034937599 hasConcept C13280743 @default.
- W3034937599 hasConcept C136643341 @default.
- W3034937599 hasConcept C154945302 @default.
- W3034937599 hasConcept C185798385 @default.
- W3034937599 hasConcept C202973057 @default.
- W3034937599 hasConcept C205649164 @default.
- W3034937599 hasConcept C41008148 @default.
- W3034937599 hasConcept C49937458 @default.
- W3034937599 hasConceptScore W3034937599C110251889 @default.
- W3034937599 hasConceptScore W3034937599C111498074 @default.
- W3034937599 hasConceptScore W3034937599C11413529 @default.
- W3034937599 hasConceptScore W3034937599C13280743 @default.
- W3034937599 hasConceptScore W3034937599C136643341 @default.
- W3034937599 hasConceptScore W3034937599C154945302 @default.
- W3034937599 hasConceptScore W3034937599C185798385 @default.
- W3034937599 hasConceptScore W3034937599C202973057 @default.
- W3034937599 hasConceptScore W3034937599C205649164 @default.
- W3034937599 hasConceptScore W3034937599C41008148 @default.
- W3034937599 hasConceptScore W3034937599C49937458 @default.
- W3034937599 hasIssue "2" @default.
- W3034937599 hasLocation W30349375991 @default.
- W3034937599 hasOpenAccess W3034937599 @default.
- W3034937599 hasPrimaryLocation W30349375991 @default.
- W3034937599 hasRelatedWork W135858958 @default.
- W3034937599 hasRelatedWork W1483806673 @default.
- W3034937599 hasRelatedWork W1512138220 @default.
- W3034937599 hasRelatedWork W1533733553 @default.
- W3034937599 hasRelatedWork W1551538037 @default.
- W3034937599 hasRelatedWork W1553503691 @default.
- W3034937599 hasRelatedWork W2076449438 @default.
- W3034937599 hasRelatedWork W2116769849 @default.
- W3034937599 hasRelatedWork W2125058762 @default.
- W3034937599 hasRelatedWork W2127240436 @default.
- W3034937599 hasRelatedWork W2132281483 @default.
- W3034937599 hasRelatedWork W2149008670 @default.
- W3034937599 hasRelatedWork W2289824057 @default.
- W3034937599 hasRelatedWork W2395880299 @default.
- W3034937599 hasRelatedWork W2402107808 @default.
- W3034937599 hasRelatedWork W2613073864 @default.
- W3034937599 hasRelatedWork W2808270794 @default.
- W3034937599 hasRelatedWork W2964754217 @default.
- W3034937599 hasRelatedWork W2967436707 @default.
- W3034937599 hasRelatedWork W2999132390 @default.
- W3034937599 hasVolume "3" @default.
- W3034937599 isParatext "false" @default.
- W3034937599 isRetracted "false" @default.
- W3034937599 magId "3034937599" @default.
- W3034937599 workType "article" @default.