Matches in SemOpenAlex for { <https://semopenalex.org/work/W62998173> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W62998173 endingPage "132" @default.
- W62998173 startingPage "117" @default.
- W62998173 abstract "The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software model checkers adhere to full semantics of programming languages, which are based on very permissive models of concurrency. Current runtime platforms for programs, however, restrict concurrency in various ways — it is visible especially in the case of critical embedded systems, which typically involve only a single processor and use a threading model based on limited preemption.In this paper, we present a technique for addressing state explosion in model checking of Java programs for embedded systems, which exploits restrictions on concurrency common to current Java platforms for such systems. We have implemented the technique in Java PathFinder and performed a number of experiments on Purdue Collision Detector, which is a non-trivial multi-threaded Java program. Results of experiments show that use of the restrictions on concurrency in model checking with Java PathFinder reduces the state space size by an order of magnitude and also reduces the time needed to discover errors in Java programs.Keywordsmodel checkingJava programsembedded systemsstate explosionrestrictions of concurrency" @default.
- W62998173 created "2016-06-24" @default.
- W62998173 creator A5064696941 @default.
- W62998173 creator A5083747832 @default.
- W62998173 date "2009-01-01" @default.
- W62998173 modified "2023-09-23" @default.
- W62998173 title "Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs" @default.
- W62998173 cites W1493367105 @default.
- W62998173 cites W1567404383 @default.
- W62998173 cites W1581908531 @default.
- W62998173 cites W1589143006 @default.
- W62998173 cites W1590256171 @default.
- W62998173 cites W1598969122 @default.
- W62998173 cites W1782479956 @default.
- W62998173 cites W1973084945 @default.
- W62998173 cites W2021682354 @default.
- W62998173 cites W2036802481 @default.
- W62998173 cites W2076285066 @default.
- W62998173 cites W2093709900 @default.
- W62998173 cites W2145098440 @default.
- W62998173 cites W2171480813 @default.
- W62998173 cites W4249744672 @default.
- W62998173 doi "https://doi.org/10.1007/978-3-642-04570-7_10" @default.
- W62998173 hasPublicationYear "2009" @default.
- W62998173 type Work @default.
- W62998173 sameAs 62998173 @default.
- W62998173 citedByCount "1" @default.
- W62998173 crossrefType "book-chapter" @default.
- W62998173 hasAuthorship W62998173A5064696941 @default.
- W62998173 hasAuthorship W62998173A5083747832 @default.
- W62998173 hasConcept C110251889 @default.
- W62998173 hasConcept C111919701 @default.
- W62998173 hasConcept C120314980 @default.
- W62998173 hasConcept C120558287 @default.
- W62998173 hasConcept C132106392 @default.
- W62998173 hasConcept C181907185 @default.
- W62998173 hasConcept C193702766 @default.
- W62998173 hasConcept C199360897 @default.
- W62998173 hasConcept C34165917 @default.
- W62998173 hasConcept C3701939 @default.
- W62998173 hasConcept C41008148 @default.
- W62998173 hasConcept C50033165 @default.
- W62998173 hasConcept C548217200 @default.
- W62998173 hasConceptScore W62998173C110251889 @default.
- W62998173 hasConceptScore W62998173C111919701 @default.
- W62998173 hasConceptScore W62998173C120314980 @default.
- W62998173 hasConceptScore W62998173C120558287 @default.
- W62998173 hasConceptScore W62998173C132106392 @default.
- W62998173 hasConceptScore W62998173C181907185 @default.
- W62998173 hasConceptScore W62998173C193702766 @default.
- W62998173 hasConceptScore W62998173C199360897 @default.
- W62998173 hasConceptScore W62998173C34165917 @default.
- W62998173 hasConceptScore W62998173C3701939 @default.
- W62998173 hasConceptScore W62998173C41008148 @default.
- W62998173 hasConceptScore W62998173C50033165 @default.
- W62998173 hasConceptScore W62998173C548217200 @default.
- W62998173 hasLocation W629981731 @default.
- W62998173 hasOpenAccess W62998173 @default.
- W62998173 hasPrimaryLocation W629981731 @default.
- W62998173 hasRelatedWork W1490787830 @default.
- W62998173 hasRelatedWork W1999355683 @default.
- W62998173 hasRelatedWork W2059224852 @default.
- W62998173 hasRelatedWork W2097368307 @default.
- W62998173 hasRelatedWork W2104029108 @default.
- W62998173 hasRelatedWork W2105970378 @default.
- W62998173 hasRelatedWork W2114224332 @default.
- W62998173 hasRelatedWork W2150153475 @default.
- W62998173 hasRelatedWork W2362017515 @default.
- W62998173 hasRelatedWork W1673577597 @default.
- W62998173 isParatext "false" @default.
- W62998173 isRetracted "false" @default.
- W62998173 magId "62998173" @default.
- W62998173 workType "book-chapter" @default.