Matches in SemOpenAlex for { <https://semopenalex.org/work/W2135642703> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2135642703 abstract "A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are fundamentally open since their behavior is dependent on patterns of invocation of system components and values defined outside the system but referenced within the system. Whether reasoning about the behavior of whole programs or about program components, an abstract model of the environment can be essential in enabling sufficiently precise yet tractable verification. In this paper, we describe an approach to generating environments of Java program fragments. This approach integrated formally specified assumptions about environment behavior with sound abstractions of environment implementations to form a model of the environment. The approach is implemented in the Bandera environment generator (BEG) which we describe along with our experience using BEG to reason about properties of several nontrivial concurrent Java programs." @default.
- W2135642703 created "2016-06-24" @default.
- W2135642703 creator A5044286809 @default.
- W2135642703 creator A5053134485 @default.
- W2135642703 creator A5086757331 @default.
- W2135642703 date "2004-01-24" @default.
- W2135642703 modified "2023-10-17" @default.
- W2135642703 title "Automated environment generation for software model checking" @default.
- W2135642703 cites W1550487903 @default.
- W2135642703 cites W1562915062 @default.
- W2135642703 cites W1581604070 @default.
- W2135642703 cites W1781803387 @default.
- W2135642703 cites W1991339794 @default.
- W2135642703 cites W2005675116 @default.
- W2135642703 cites W2051020320 @default.
- W2135642703 cites W2054450126 @default.
- W2135642703 cites W2076062002 @default.
- W2135642703 cites W2080987629 @default.
- W2135642703 cites W2098039922 @default.
- W2135642703 cites W2115309705 @default.
- W2135642703 cites W2135274583 @default.
- W2135642703 cites W2169082868 @default.
- W2135642703 cites W2169134334 @default.
- W2135642703 cites W2295903414 @default.
- W2135642703 cites W4213079124 @default.
- W2135642703 cites W4240013487 @default.
- W2135642703 cites W4242057943 @default.
- W2135642703 cites W4244503466 @default.
- W2135642703 cites W4248332232 @default.
- W2135642703 doi "https://doi.org/10.1109/ase.2003.1240300" @default.
- W2135642703 hasPublicationYear "2004" @default.
- W2135642703 type Work @default.
- W2135642703 sameAs 2135642703 @default.
- W2135642703 citedByCount "68" @default.
- W2135642703 countsByYear W21356427032012 @default.
- W2135642703 countsByYear W21356427032013 @default.
- W2135642703 countsByYear W21356427032014 @default.
- W2135642703 countsByYear W21356427032015 @default.
- W2135642703 countsByYear W21356427032016 @default.
- W2135642703 countsByYear W21356427032018 @default.
- W2135642703 countsByYear W21356427032020 @default.
- W2135642703 crossrefType "proceedings-article" @default.
- W2135642703 hasAuthorship W2135642703A5044286809 @default.
- W2135642703 hasAuthorship W2135642703A5053134485 @default.
- W2135642703 hasAuthorship W2135642703A5086757331 @default.
- W2135642703 hasBestOaLocation W21356427032 @default.
- W2135642703 hasConcept C110251889 @default.
- W2135642703 hasConcept C111919701 @default.
- W2135642703 hasConcept C115903868 @default.
- W2135642703 hasConcept C120314980 @default.
- W2135642703 hasConcept C121332964 @default.
- W2135642703 hasConcept C149091818 @default.
- W2135642703 hasConcept C151730666 @default.
- W2135642703 hasConcept C163258240 @default.
- W2135642703 hasConcept C199360897 @default.
- W2135642703 hasConcept C26517878 @default.
- W2135642703 hasConcept C26713055 @default.
- W2135642703 hasConcept C2777904410 @default.
- W2135642703 hasConcept C2779343474 @default.
- W2135642703 hasConcept C2780992000 @default.
- W2135642703 hasConcept C41008148 @default.
- W2135642703 hasConcept C548217200 @default.
- W2135642703 hasConcept C62520636 @default.
- W2135642703 hasConcept C86803240 @default.
- W2135642703 hasConceptScore W2135642703C110251889 @default.
- W2135642703 hasConceptScore W2135642703C111919701 @default.
- W2135642703 hasConceptScore W2135642703C115903868 @default.
- W2135642703 hasConceptScore W2135642703C120314980 @default.
- W2135642703 hasConceptScore W2135642703C121332964 @default.
- W2135642703 hasConceptScore W2135642703C149091818 @default.
- W2135642703 hasConceptScore W2135642703C151730666 @default.
- W2135642703 hasConceptScore W2135642703C163258240 @default.
- W2135642703 hasConceptScore W2135642703C199360897 @default.
- W2135642703 hasConceptScore W2135642703C26517878 @default.
- W2135642703 hasConceptScore W2135642703C26713055 @default.
- W2135642703 hasConceptScore W2135642703C2777904410 @default.
- W2135642703 hasConceptScore W2135642703C2779343474 @default.
- W2135642703 hasConceptScore W2135642703C2780992000 @default.
- W2135642703 hasConceptScore W2135642703C41008148 @default.
- W2135642703 hasConceptScore W2135642703C548217200 @default.
- W2135642703 hasConceptScore W2135642703C62520636 @default.
- W2135642703 hasConceptScore W2135642703C86803240 @default.
- W2135642703 hasLocation W21356427031 @default.
- W2135642703 hasLocation W21356427032 @default.
- W2135642703 hasOpenAccess W2135642703 @default.
- W2135642703 hasPrimaryLocation W21356427031 @default.
- W2135642703 hasRelatedWork W113601745 @default.
- W2135642703 hasRelatedWork W1567895364 @default.
- W2135642703 hasRelatedWork W1984757784 @default.
- W2135642703 hasRelatedWork W2058906062 @default.
- W2135642703 hasRelatedWork W2132150351 @default.
- W2135642703 hasRelatedWork W2166770913 @default.
- W2135642703 hasRelatedWork W2348100758 @default.
- W2135642703 hasRelatedWork W3112455526 @default.
- W2135642703 hasRelatedWork W4205531442 @default.
- W2135642703 hasRelatedWork W2528467228 @default.
- W2135642703 isParatext "false" @default.
- W2135642703 isRetracted "false" @default.
- W2135642703 magId "2135642703" @default.
- W2135642703 workType "article" @default.