FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3170702025> ?p ?o ?g. }

• W3170702025 endingPage "174" @default.
• W3170702025 startingPage "157" @default.
• W3170702025 abstract "Java PathFinder (JPF) and PRISM are the most popular model checkers for Java code and systems that exhibit random behaviour, respectively. Our tools make it possible to use JPF and PRISM together. For the first time, probabilistic properties of randomized algorithms implemented in a modern programming language can be checked. Furthermore, our tools are accompanied by a large collection of randomized algorithms that we implemented in Java. From those Java applications and with the help of our tools, we have generated the largest collection of realistic labelled (discrete time) Markov chains." @default.
• W3170702025 created "2021-06-22" @default.
• W3170702025 creator A5014089511 @default.
• W3170702025 creator A5014251968 @default.
• W3170702025 creator A5018657784 @default.
• W3170702025 creator A5034427431 @default.
• W3170702025 creator A5075238676 @default.
• W3170702025 creator A5076768386 @default.
• W3170702025 date "2021-01-01" @default.
• W3170702025 modified "2023-09-27" @default.
• W3170702025 title "Probabilistic Model Checking of Randomized Java Code" @default.
• W3170702025 cites W1128809682 @default.
• W3170702025 cites W1492929237 @default.
• W3170702025 cites W1590315663 @default.
• W3170702025 cites W1609712057 @default.
• W3170702025 cites W1862398452 @default.
• W3170702025 cites W1964053266 @default.
• W3170702025 cites W1987237000 @default.
• W3170702025 cites W1989640573 @default.
• W3170702025 cites W1998777945 @default.
• W3170702025 cites W2017777628 @default.
• W3170702025 cites W2023808162 @default.
• W3170702025 cites W2071056578 @default.
• W3170702025 cites W2137591753 @default.
• W3170702025 cites W2171480813 @default.
• W3170702025 cites W21870292 @default.
• W3170702025 cites W2284298467 @default.
• W3170702025 cites W3170702025 @default.
• W3170702025 cites W4231916799 @default.
• W3170702025 doi "https://doi.org/10.1007/978-3-030-84629-9_9" @default.
• W3170702025 hasPublicationYear "2021" @default.
• W3170702025 type Work @default.
• W3170702025 sameAs 3170702025 @default.
• W3170702025 citedByCount "2" @default.
• W3170702025 countsByYear W31707020252021 @default.
• W3170702025 countsByYear W31707020252022 @default.
• W3170702025 crossrefType "book-chapter" @default.
• W3170702025 hasAuthorship W3170702025A5014089511 @default.
• W3170702025 hasAuthorship W3170702025A5014251968 @default.
• W3170702025 hasAuthorship W3170702025A5018657784 @default.
• W3170702025 hasAuthorship W3170702025A5034427431 @default.
• W3170702025 hasAuthorship W3170702025A5075238676 @default.
• W3170702025 hasAuthorship W3170702025A5076768386 @default.
• W3170702025 hasBestOaLocation W31707020252 @default.
• W3170702025 hasConcept C11413529 @default.
• W3170702025 hasConcept C119857082 @default.
• W3170702025 hasConcept C120665830 @default.
• W3170702025 hasConcept C121332964 @default.
• W3170702025 hasConcept C128669082 @default.
• W3170702025 hasConcept C132106392 @default.
• W3170702025 hasConcept C154945302 @default.
• W3170702025 hasConcept C161191863 @default.
• W3170702025 hasConcept C172482141 @default.
• W3170702025 hasConcept C177264268 @default.
• W3170702025 hasConcept C181907185 @default.
• W3170702025 hasConcept C199360897 @default.
• W3170702025 hasConcept C2776760102 @default.
• W3170702025 hasConcept C2778940482 @default.
• W3170702025 hasConcept C41008148 @default.
• W3170702025 hasConcept C49937458 @default.
• W3170702025 hasConcept C548217200 @default.
• W3170702025 hasConcept C67666897 @default.
• W3170702025 hasConcept C98763669 @default.
• W3170702025 hasConceptScore W3170702025C11413529 @default.
• W3170702025 hasConceptScore W3170702025C119857082 @default.
• W3170702025 hasConceptScore W3170702025C120665830 @default.
• W3170702025 hasConceptScore W3170702025C121332964 @default.
• W3170702025 hasConceptScore W3170702025C128669082 @default.
• W3170702025 hasConceptScore W3170702025C132106392 @default.
• W3170702025 hasConceptScore W3170702025C154945302 @default.
• W3170702025 hasConceptScore W3170702025C161191863 @default.
• W3170702025 hasConceptScore W3170702025C172482141 @default.
• W3170702025 hasConceptScore W3170702025C177264268 @default.
• W3170702025 hasConceptScore W3170702025C181907185 @default.
• W3170702025 hasConceptScore W3170702025C199360897 @default.
• W3170702025 hasConceptScore W3170702025C2776760102 @default.
• W3170702025 hasConceptScore W3170702025C2778940482 @default.
• W3170702025 hasConceptScore W3170702025C41008148 @default.
• W3170702025 hasConceptScore W3170702025C49937458 @default.
• W3170702025 hasConceptScore W3170702025C548217200 @default.
• W3170702025 hasConceptScore W3170702025C67666897 @default.
• W3170702025 hasConceptScore W3170702025C98763669 @default.
• W3170702025 hasLocation W31707020251 @default.
• W3170702025 hasLocation W31707020252 @default.
• W3170702025 hasLocation W31707020253 @default.
• W3170702025 hasOpenAccess W3170702025 @default.
• W3170702025 hasPrimaryLocation W31707020251 @default.
• W3170702025 hasRelatedWork W1481383228 @default.
• W3170702025 hasRelatedWork W1490787830 @default.
• W3170702025 hasRelatedWork W1686257886 @default.
• W3170702025 hasRelatedWork W2365754790 @default.
• W3170702025 hasRelatedWork W2541866089 @default.
• W3170702025 hasRelatedWork W2547095320 @default.
• W3170702025 hasRelatedWork W2790926594 @default.
• W3170702025 hasRelatedWork W321450354 @default.
• W3170702025 hasRelatedWork W4231981509 @default.
• W3170702025 hasRelatedWork W4293031961 @default.
• W3170702025 isParatext "false" @default.

• next