Matches in SemOpenAlex for { <https://semopenalex.org/work/W2154591112> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W2154591112 endingPage "305" @default.
- W2154591112 startingPage "297" @default.
- W2154591112 abstract "We present the tool StaRVOOrS (Static and Runtime Verification of Object-Oriented Software), which combines static and runtime verification (RV) of Java programs. The tool automates a framework which uses partial results extracted from static verification to optimise the runtime monitoring process. StaRVOOrs combines the deductive theorem prover KeY and the RV tool LARVA, and uses properties written using the ppDATE specification language which combines the control-flow property language DATE used in LARVA with Hoare triples assigned to states. We demonstrate the effectiveness of the tool by applying it to the electronic purse application Mondex." @default.
- W2154591112 created "2016-06-24" @default.
- W2154591112 creator A5051084250 @default.
- W2154591112 creator A5073668681 @default.
- W2154591112 creator A5075496700 @default.
- W2154591112 creator A5088569630 @default.
- W2154591112 date "2015-01-01" @default.
- W2154591112 modified "2023-09-27" @default.
- W2154591112 title "StaRVOOrS : A Tool for Combined Static and Runtime Verification of Java" @default.
- W2154591112 cites W1183828699 @default.
- W2154591112 cites W2167809103 @default.
- W2154591112 doi "https://doi.org/10.1007/978-3-319-23820-3_21" @default.
- W2154591112 hasPublicationYear "2015" @default.
- W2154591112 type Work @default.
- W2154591112 sameAs 2154591112 @default.
- W2154591112 citedByCount "25" @default.
- W2154591112 countsByYear W21545911122016 @default.
- W2154591112 countsByYear W21545911122017 @default.
- W2154591112 countsByYear W21545911122018 @default.
- W2154591112 countsByYear W21545911122019 @default.
- W2154591112 countsByYear W21545911122020 @default.
- W2154591112 countsByYear W21545911122021 @default.
- W2154591112 countsByYear W21545911122022 @default.
- W2154591112 countsByYear W21545911122023 @default.
- W2154591112 crossrefType "book-chapter" @default.
- W2154591112 hasAuthorship W2154591112A5051084250 @default.
- W2154591112 hasAuthorship W2154591112A5073668681 @default.
- W2154591112 hasAuthorship W2154591112A5075496700 @default.
- W2154591112 hasAuthorship W2154591112A5088569630 @default.
- W2154591112 hasBestOaLocation W21545911122 @default.
- W2154591112 hasConcept C199360897 @default.
- W2154591112 hasConcept C41008148 @default.
- W2154591112 hasConcept C548217200 @default.
- W2154591112 hasConceptScore W2154591112C199360897 @default.
- W2154591112 hasConceptScore W2154591112C41008148 @default.
- W2154591112 hasConceptScore W2154591112C548217200 @default.
- W2154591112 hasLocation W21545911121 @default.
- W2154591112 hasLocation W21545911122 @default.
- W2154591112 hasOpenAccess W2154591112 @default.
- W2154591112 hasPrimaryLocation W21545911121 @default.
- W2154591112 hasRelatedWork W1490787830 @default.
- W2154591112 hasRelatedWork W1493446239 @default.
- W2154591112 hasRelatedWork W1860988706 @default.
- W2154591112 hasRelatedWork W1979547103 @default.
- W2154591112 hasRelatedWork W2097082130 @default.
- W2154591112 hasRelatedWork W2137409926 @default.
- W2154591112 hasRelatedWork W2162118494 @default.
- W2154591112 hasRelatedWork W3121650164 @default.
- W2154591112 hasRelatedWork W4254917997 @default.
- W2154591112 hasRelatedWork W2528467228 @default.
- W2154591112 isParatext "false" @default.
- W2154591112 isRetracted "false" @default.
- W2154591112 magId "2154591112" @default.
- W2154591112 workType "book-chapter" @default.