Matches in SemOpenAlex for { <https://semopenalex.org/work/W3160586320> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W3160586320 endingPage "86" @default.
- W3160586320 startingPage "81" @default.
- W3160586320 abstract "Complex asynchronous, distributed systems could benefit significantly from model checking, but model checking programs do not natively support verification of distributed software. Several frameworks have been developed recently that apply model checking to networked software, but none of these frameworks support complete modeling of programs that use the User Datagram Protocol (UDP). This paper presents the first framework to model realistic rather than ideal UDP network operations using Java Pathfinder, and describes its use in verifying a distributed UDP-based application." @default.
- W3160586320 created "2021-05-24" @default.
- W3160586320 creator A5008972167 @default.
- W3160586320 creator A5065155238 @default.
- W3160586320 date "2014-10-18" @default.
- W3160586320 modified "2023-10-16" @default.
- W3160586320 title "A framework for model checking UDP network programs with Java pathfinder" @default.
- W3160586320 cites W1500538608 @default.
- W3160586320 cites W2040060046 @default.
- W3160586320 cites W2044921704 @default.
- W3160586320 cites W2057075768 @default.
- W3160586320 cites W2085269301 @default.
- W3160586320 cites W2105284832 @default.
- W3160586320 cites W2110297451 @default.
- W3160586320 cites W2125381043 @default.
- W3160586320 cites W2133688308 @default.
- W3160586320 doi "https://doi.org/10.1145/2692956.2663184" @default.
- W3160586320 hasPublicationYear "2014" @default.
- W3160586320 type Work @default.
- W3160586320 sameAs 3160586320 @default.
- W3160586320 citedByCount "0" @default.
- W3160586320 crossrefType "journal-article" @default.
- W3160586320 hasAuthorship W3160586320A5008972167 @default.
- W3160586320 hasAuthorship W3160586320A5065155238 @default.
- W3160586320 hasConcept C110251889 @default.
- W3160586320 hasConcept C111919701 @default.
- W3160586320 hasConcept C115903868 @default.
- W3160586320 hasConcept C120314980 @default.
- W3160586320 hasConcept C136764020 @default.
- W3160586320 hasConcept C142724271 @default.
- W3160586320 hasConcept C151319957 @default.
- W3160586320 hasConcept C199360897 @default.
- W3160586320 hasConcept C204787440 @default.
- W3160586320 hasConcept C2777904410 @default.
- W3160586320 hasConcept C2778940482 @default.
- W3160586320 hasConcept C2780385302 @default.
- W3160586320 hasConcept C31258907 @default.
- W3160586320 hasConcept C41008148 @default.
- W3160586320 hasConcept C548217200 @default.
- W3160586320 hasConcept C71924100 @default.
- W3160586320 hasConceptScore W3160586320C110251889 @default.
- W3160586320 hasConceptScore W3160586320C111919701 @default.
- W3160586320 hasConceptScore W3160586320C115903868 @default.
- W3160586320 hasConceptScore W3160586320C120314980 @default.
- W3160586320 hasConceptScore W3160586320C136764020 @default.
- W3160586320 hasConceptScore W3160586320C142724271 @default.
- W3160586320 hasConceptScore W3160586320C151319957 @default.
- W3160586320 hasConceptScore W3160586320C199360897 @default.
- W3160586320 hasConceptScore W3160586320C204787440 @default.
- W3160586320 hasConceptScore W3160586320C2777904410 @default.
- W3160586320 hasConceptScore W3160586320C2778940482 @default.
- W3160586320 hasConceptScore W3160586320C2780385302 @default.
- W3160586320 hasConceptScore W3160586320C31258907 @default.
- W3160586320 hasConceptScore W3160586320C41008148 @default.
- W3160586320 hasConceptScore W3160586320C548217200 @default.
- W3160586320 hasConceptScore W3160586320C71924100 @default.
- W3160586320 hasIssue "3" @default.
- W3160586320 hasLocation W31605863201 @default.
- W3160586320 hasOpenAccess W3160586320 @default.
- W3160586320 hasPrimaryLocation W31605863201 @default.
- W3160586320 hasRelatedWork W1686257886 @default.
- W3160586320 hasRelatedWork W2007279641 @default.
- W3160586320 hasRelatedWork W2074764976 @default.
- W3160586320 hasRelatedWork W2099002002 @default.
- W3160586320 hasRelatedWork W2132150351 @default.
- W3160586320 hasRelatedWork W2348100758 @default.
- W3160586320 hasRelatedWork W2364921833 @default.
- W3160586320 hasRelatedWork W2436283600 @default.
- W3160586320 hasRelatedWork W4250193792 @default.
- W3160586320 hasRelatedWork W2528467228 @default.
- W3160586320 hasVolume "34" @default.
- W3160586320 isParatext "false" @default.
- W3160586320 isRetracted "false" @default.
- W3160586320 magId "3160586320" @default.
- W3160586320 workType "article" @default.