Matches in SemOpenAlex for { <https://semopenalex.org/work/W199487773> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W199487773 abstract "In recent years, model checking algorithms for the verification of infinite-state systems were introduced. We evaluate the possibility of using the algorithms for pushdown systems and various modal logics of [3] for verification of Java programs. It turns out that pushdown systems are particularly suitable for modeling the control flow of sequential Java programs, including exceptions (which are too often not supported by model checking tools). The process of mechanical abstract model generation is described, with emphasis on supporting Java exception handling mechanism, which is the major new contribution of this paper. We also show some possible uses of our approach and present a survey of the related work." @default.
- W199487773 created "2016-06-24" @default.
- W199487773 creator A5048869948 @default.
- W199487773 date "2002-01-01" @default.
- W199487773 modified "2023-09-27" @default.
- W199487773 title "Model Checking Java Using Pushdown Systems" @default.
- W199487773 cites W1491036809 @default.
- W199487773 cites W1503170978 @default.
- W199487773 cites W1514446453 @default.
- W199487773 cites W1530895039 @default.
- W199487773 cites W1589224558 @default.
- W199487773 cites W1644882639 @default.
- W199487773 cites W1691700263 @default.
- W199487773 cites W1827592073 @default.
- W199487773 cites W1974608873 @default.
- W199487773 cites W2080696000 @default.
- W199487773 cites W2106837287 @default.
- W199487773 cites W2114132089 @default.
- W199487773 cites W2115309705 @default.
- W199487773 cites W2135274583 @default.
- W199487773 cites W2171240827 @default.
- W199487773 cites W2889416943 @default.
- W199487773 hasPublicationYear "2002" @default.
- W199487773 type Work @default.
- W199487773 sameAs 199487773 @default.
- W199487773 citedByCount "9" @default.
- W199487773 crossrefType "journal-article" @default.
- W199487773 hasAuthorship W199487773A5048869948 @default.
- W199487773 hasConcept C110251889 @default.
- W199487773 hasConcept C115903868 @default.
- W199487773 hasConcept C132106392 @default.
- W199487773 hasConcept C168702491 @default.
- W199487773 hasConcept C185592680 @default.
- W199487773 hasConcept C188027245 @default.
- W199487773 hasConcept C199360897 @default.
- W199487773 hasConcept C41008148 @default.
- W199487773 hasConcept C548217200 @default.
- W199487773 hasConcept C60945770 @default.
- W199487773 hasConcept C71139939 @default.
- W199487773 hasConcept C80444323 @default.
- W199487773 hasConceptScore W199487773C110251889 @default.
- W199487773 hasConceptScore W199487773C115903868 @default.
- W199487773 hasConceptScore W199487773C132106392 @default.
- W199487773 hasConceptScore W199487773C168702491 @default.
- W199487773 hasConceptScore W199487773C185592680 @default.
- W199487773 hasConceptScore W199487773C188027245 @default.
- W199487773 hasConceptScore W199487773C199360897 @default.
- W199487773 hasConceptScore W199487773C41008148 @default.
- W199487773 hasConceptScore W199487773C548217200 @default.
- W199487773 hasConceptScore W199487773C60945770 @default.
- W199487773 hasConceptScore W199487773C71139939 @default.
- W199487773 hasConceptScore W199487773C80444323 @default.
- W199487773 hasLocation W1994877731 @default.
- W199487773 hasOpenAccess W199487773 @default.
- W199487773 hasPrimaryLocation W1994877731 @default.
- W199487773 hasRelatedWork W1491036809 @default.
- W199487773 hasRelatedWork W1524123945 @default.
- W199487773 hasRelatedWork W1540068799 @default.
- W199487773 hasRelatedWork W1589224558 @default.
- W199487773 hasRelatedWork W1590951149 @default.
- W199487773 hasRelatedWork W1608367582 @default.
- W199487773 hasRelatedWork W1652096249 @default.
- W199487773 hasRelatedWork W1739770529 @default.
- W199487773 hasRelatedWork W2001184199 @default.
- W199487773 hasRelatedWork W2082036516 @default.
- W199487773 hasRelatedWork W2114132089 @default.
- W199487773 hasRelatedWork W2132150351 @default.
- W199487773 hasRelatedWork W2754749880 @default.
- W199487773 hasRelatedWork W2794077850 @default.
- W199487773 hasRelatedWork W2803369237 @default.
- W199487773 hasRelatedWork W2912861698 @default.
- W199487773 hasRelatedWork W3022059417 @default.
- W199487773 hasRelatedWork W3169000564 @default.
- W199487773 hasRelatedWork W3170702025 @default.
- W199487773 hasRelatedWork W2103237096 @default.
- W199487773 isParatext "false" @default.
- W199487773 isRetracted "false" @default.
- W199487773 magId "199487773" @default.
- W199487773 workType "article" @default.