Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912861698> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W2912861698 endingPage "107" @default.
- W2912861698 startingPage "89" @default.
- W2912861698 abstract "To verify the correctness of Java programs, a novel approach for model checking Java programs with MSVL (Modeling, Simulation and Verification Language) is advocated. To this end, the rules for decoding the object-oriented semantics of Java Language with the process-oriented semantics of MSVL are defined, and the technique for automatically rewriting a Java program into its equivalent MSVL program is formalized, which in turn can be verified with the model checking tool MSV. In addition, an example is given to illustrate how the approach works. The approach fully utilizes the powerful expressiveness of MSVL to verify Java programs in a direct way, and helps to improve the quality of the software system." @default.
- W2912861698 created "2019-02-21" @default.
- W2912861698 creator A5012788495 @default.
- W2912861698 creator A5012808924 @default.
- W2912861698 creator A5029605914 @default.
- W2912861698 creator A5056168495 @default.
- W2912861698 creator A5077865669 @default.
- W2912861698 date "2019-01-01" @default.
- W2912861698 modified "2023-09-25" @default.
- W2912861698 title "Model Checking Java Programs with MSVL" @default.
- W2912861698 cites W1474729983 @default.
- W2912861698 cites W1517351977 @default.
- W2912861698 cites W1525931051 @default.
- W2912861698 cites W1591672107 @default.
- W2912861698 cites W1596552075 @default.
- W2912861698 cites W1967993207 @default.
- W2912861698 cites W2014146343 @default.
- W2912861698 cites W2020639449 @default.
- W2912861698 cites W2021917262 @default.
- W2912861698 cites W2037296871 @default.
- W2912861698 cites W2050552305 @default.
- W2912861698 cites W2069919327 @default.
- W2912861698 cites W2093832730 @default.
- W2912861698 cites W2115309705 @default.
- W2912861698 cites W2294578947 @default.
- W2912861698 cites W2462955985 @default.
- W2912861698 cites W2490513959 @default.
- W2912861698 cites W2605752993 @default.
- W2912861698 cites W2618805227 @default.
- W2912861698 cites W2999818597 @default.
- W2912861698 cites W346741227 @default.
- W2912861698 cites W4243167850 @default.
- W2912861698 doi "https://doi.org/10.1007/978-3-030-13651-2_6" @default.
- W2912861698 hasPublicationYear "2019" @default.
- W2912861698 type Work @default.
- W2912861698 sameAs 2912861698 @default.
- W2912861698 citedByCount "2" @default.
- W2912861698 countsByYear W29128616982020 @default.
- W2912861698 countsByYear W29128616982023 @default.
- W2912861698 crossrefType "book-chapter" @default.
- W2912861698 hasAuthorship W2912861698A5012788495 @default.
- W2912861698 hasAuthorship W2912861698A5012808924 @default.
- W2912861698 hasAuthorship W2912861698A5029605914 @default.
- W2912861698 hasAuthorship W2912861698A5056168495 @default.
- W2912861698 hasAuthorship W2912861698A5077865669 @default.
- W2912861698 hasConcept C111919701 @default.
- W2912861698 hasConcept C199360897 @default.
- W2912861698 hasConcept C41008148 @default.
- W2912861698 hasConcept C548217200 @default.
- W2912861698 hasConceptScore W2912861698C111919701 @default.
- W2912861698 hasConceptScore W2912861698C199360897 @default.
- W2912861698 hasConceptScore W2912861698C41008148 @default.
- W2912861698 hasConceptScore W2912861698C548217200 @default.
- W2912861698 hasLocation W29128616981 @default.
- W2912861698 hasOpenAccess W2912861698 @default.
- W2912861698 hasPrimaryLocation W29128616981 @default.
- W2912861698 hasRelatedWork W1490787830 @default.
- W2912861698 hasRelatedWork W1493446239 @default.
- W2912861698 hasRelatedWork W1527178015 @default.
- W2912861698 hasRelatedWork W1860988706 @default.
- W2912861698 hasRelatedWork W1979547103 @default.
- W2912861698 hasRelatedWork W2137409926 @default.
- W2912861698 hasRelatedWork W2162118494 @default.
- W2912861698 hasRelatedWork W2383147678 @default.
- W2912861698 hasRelatedWork W4254917997 @default.
- W2912861698 hasRelatedWork W2528467228 @default.
- W2912861698 isParatext "false" @default.
- W2912861698 isRetracted "false" @default.
- W2912861698 magId "2912861698" @default.
- W2912861698 workType "book-chapter" @default.