Matches in SemOpenAlex for { <https://semopenalex.org/work/W2024274112> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2024274112 abstract "Today, object-oriented methodologies are widely used for developing concurrent distributed systems. There are many well-known object-oriented methodologies and techniques to develop concurrent distributed systems. However, such systems are likely to have bugs. Hence, verification plays an important role in this context. In this paper we propose an approach to verify concurrent object-oriented programs using model checking. To do so, we employ the Bogor model checker. The concurrent programs are translated to BIR- the input language of Bogor- and Bogor performs the verification and shows the existing bugs, if there is any, through counter-examples." @default.
- W2024274112 created "2016-06-24" @default.
- W2024274112 creator A5046842740 @default.
- W2024274112 creator A5078027689 @default.
- W2024274112 date "2010-08-01" @default.
- W2024274112 modified "2023-09-25" @default.
- W2024274112 title "An approach to verify concurrent object-oriented programs" @default.
- W2024274112 cites W1493592607 @default.
- W2024274112 cites W1544646281 @default.
- W2024274112 cites W2087252615 @default.
- W2024274112 doi "https://doi.org/10.1109/icacte.2010.5579128" @default.
- W2024274112 hasPublicationYear "2010" @default.
- W2024274112 type Work @default.
- W2024274112 sameAs 2024274112 @default.
- W2024274112 citedByCount "0" @default.
- W2024274112 crossrefType "proceedings-article" @default.
- W2024274112 hasAuthorship W2024274112A5046842740 @default.
- W2024274112 hasAuthorship W2024274112A5078027689 @default.
- W2024274112 hasConcept C110251889 @default.
- W2024274112 hasConcept C115903868 @default.
- W2024274112 hasConcept C120314980 @default.
- W2024274112 hasConcept C151730666 @default.
- W2024274112 hasConcept C154945302 @default.
- W2024274112 hasConcept C199360897 @default.
- W2024274112 hasConcept C2779343474 @default.
- W2024274112 hasConcept C2781238097 @default.
- W2024274112 hasConcept C41008148 @default.
- W2024274112 hasConcept C73752529 @default.
- W2024274112 hasConcept C86803240 @default.
- W2024274112 hasConceptScore W2024274112C110251889 @default.
- W2024274112 hasConceptScore W2024274112C115903868 @default.
- W2024274112 hasConceptScore W2024274112C120314980 @default.
- W2024274112 hasConceptScore W2024274112C151730666 @default.
- W2024274112 hasConceptScore W2024274112C154945302 @default.
- W2024274112 hasConceptScore W2024274112C199360897 @default.
- W2024274112 hasConceptScore W2024274112C2779343474 @default.
- W2024274112 hasConceptScore W2024274112C2781238097 @default.
- W2024274112 hasConceptScore W2024274112C41008148 @default.
- W2024274112 hasConceptScore W2024274112C73752529 @default.
- W2024274112 hasConceptScore W2024274112C86803240 @default.
- W2024274112 hasLocation W20242741121 @default.
- W2024274112 hasOpenAccess W2024274112 @default.
- W2024274112 hasPrimaryLocation W20242741121 @default.
- W2024274112 hasRelatedWork W1490356539 @default.
- W2024274112 hasRelatedWork W1572187826 @default.
- W2024274112 hasRelatedWork W1868584616 @default.
- W2024274112 hasRelatedWork W1972672532 @default.
- W2024274112 hasRelatedWork W1978200607 @default.
- W2024274112 hasRelatedWork W1980487816 @default.
- W2024274112 hasRelatedWork W2051020320 @default.
- W2024274112 hasRelatedWork W2096220441 @default.
- W2024274112 hasRelatedWork W2106043799 @default.
- W2024274112 hasRelatedWork W2106626492 @default.
- W2024274112 hasRelatedWork W2119296217 @default.
- W2024274112 hasRelatedWork W2143731719 @default.
- W2024274112 hasRelatedWork W2151689991 @default.
- W2024274112 hasRelatedWork W2189370981 @default.
- W2024274112 hasRelatedWork W2289300061 @default.
- W2024274112 hasRelatedWork W2892671901 @default.
- W2024274112 hasRelatedWork W3037378364 @default.
- W2024274112 hasRelatedWork W3091813096 @default.
- W2024274112 hasRelatedWork W2044863546 @default.
- W2024274112 hasRelatedWork W2339555979 @default.
- W2024274112 isParatext "false" @default.
- W2024274112 isRetracted "false" @default.
- W2024274112 magId "2024274112" @default.
- W2024274112 workType "article" @default.