Matches in SemOpenAlex for { <https://semopenalex.org/work/W2100597985> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2100597985 abstract "The model based development is a widely accepted phenomenon to build dependable software. This has lead to development of tools which can generate deployable code from the model. Hence, ensuring the correctness of such models becomes extremely important. Model checking technique can be applied to detect specification violations in such models at the early stage of development life cycle. In practice, such validations are done using off-the-shelf model checkers. This technique though popular has a drawback that, model should be described in the native language of the model checker. In this paper, we propose a framework for the verification of the dynamic behavior of reactive systems modeled using UML (unified modeling language) statechart diagrams. The model is translated to an intermediate representation by parsing the information embedded behind the UML statecharts, this intermediate representation is used for checking the safety violations. Verification framework proposed is scalable to complex systems." @default.
- W2100597985 created "2016-06-24" @default.
- W2100597985 creator A5032178215 @default.
- W2100597985 creator A5069102667 @default.
- W2100597985 creator A5080277713 @default.
- W2100597985 date "2008-05-01" @default.
- W2100597985 modified "2023-09-23" @default.
- W2100597985 title "Verification Framework for Detecting Safety Violations in UML Statecharts" @default.
- W2100597985 cites W1517173520 @default.
- W2100597985 cites W1536783297 @default.
- W2100597985 cites W1583869287 @default.
- W2100597985 cites W1596552075 @default.
- W2100597985 cites W1787074469 @default.
- W2100597985 cites W1977237988 @default.
- W2100597985 cites W1999288406 @default.
- W2100597985 cites W2080267935 @default.
- W2100597985 cites W2099529102 @default.
- W2100597985 cites W2100500368 @default.
- W2100597985 cites W2114092850 @default.
- W2100597985 cites W2115309705 @default.
- W2100597985 cites W2159720139 @default.
- W2100597985 doi "https://doi.org/10.1109/ams.2008.9" @default.
- W2100597985 hasPublicationYear "2008" @default.
- W2100597985 type Work @default.
- W2100597985 sameAs 2100597985 @default.
- W2100597985 citedByCount "3" @default.
- W2100597985 crossrefType "proceedings-article" @default.
- W2100597985 hasAuthorship W2100597985A5032178215 @default.
- W2100597985 hasAuthorship W2100597985A5069102667 @default.
- W2100597985 hasAuthorship W2100597985A5080277713 @default.
- W2100597985 hasConcept C110251889 @default.
- W2100597985 hasConcept C111498074 @default.
- W2100597985 hasConcept C111919701 @default.
- W2100597985 hasConcept C115903868 @default.
- W2100597985 hasConcept C133162039 @default.
- W2100597985 hasConcept C133264317 @default.
- W2100597985 hasConcept C145644426 @default.
- W2100597985 hasConcept C146939238 @default.
- W2100597985 hasConcept C199360897 @default.
- W2100597985 hasConcept C26517878 @default.
- W2100597985 hasConcept C2777904410 @default.
- W2100597985 hasConcept C41008148 @default.
- W2100597985 hasConcept C41298492 @default.
- W2100597985 hasConcept C48044578 @default.
- W2100597985 hasConcept C55439883 @default.
- W2100597985 hasConcept C77088390 @default.
- W2100597985 hasConceptScore W2100597985C110251889 @default.
- W2100597985 hasConceptScore W2100597985C111498074 @default.
- W2100597985 hasConceptScore W2100597985C111919701 @default.
- W2100597985 hasConceptScore W2100597985C115903868 @default.
- W2100597985 hasConceptScore W2100597985C133162039 @default.
- W2100597985 hasConceptScore W2100597985C133264317 @default.
- W2100597985 hasConceptScore W2100597985C145644426 @default.
- W2100597985 hasConceptScore W2100597985C146939238 @default.
- W2100597985 hasConceptScore W2100597985C199360897 @default.
- W2100597985 hasConceptScore W2100597985C26517878 @default.
- W2100597985 hasConceptScore W2100597985C2777904410 @default.
- W2100597985 hasConceptScore W2100597985C41008148 @default.
- W2100597985 hasConceptScore W2100597985C41298492 @default.
- W2100597985 hasConceptScore W2100597985C48044578 @default.
- W2100597985 hasConceptScore W2100597985C55439883 @default.
- W2100597985 hasConceptScore W2100597985C77088390 @default.
- W2100597985 hasLocation W21005979851 @default.
- W2100597985 hasOpenAccess W2100597985 @default.
- W2100597985 hasPrimaryLocation W21005979851 @default.
- W2100597985 hasRelatedWork W1580752092 @default.
- W2100597985 hasRelatedWork W1591937544 @default.
- W2100597985 hasRelatedWork W2100597985 @default.
- W2100597985 hasRelatedWork W2112612794 @default.
- W2100597985 hasRelatedWork W2122149060 @default.
- W2100597985 hasRelatedWork W2161115552 @default.
- W2100597985 hasRelatedWork W2295033459 @default.
- W2100597985 hasRelatedWork W2385744953 @default.
- W2100597985 hasRelatedWork W2798952660 @default.
- W2100597985 hasRelatedWork W2991943942 @default.
- W2100597985 isParatext "false" @default.
- W2100597985 isRetracted "false" @default.
- W2100597985 magId "2100597985" @default.
- W2100597985 workType "article" @default.