Matches in SemOpenAlex for { <https://semopenalex.org/work/W2112447468> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2112447468 abstract "An approach is described for checking the methods of a class against a full specification. It shares with traditional model checking the idea of exhausting the entire space of executions within some finite bounds, and with traditional verification the idea of modular analysis, in which a method is analyzed, in isolation, for all possible calling contexts.The analysis involves an automatic two-phase reduction: first, to an intermediate form in relational logic (using a new encoding described here), and second, to a boolean formula (using existing techniques), which is then handed to an off the shelf SAT solver.A variety of implementations of the Java Collections Framework's List interface were checked against existing JML specifications. The analysis revealed bugs in the implementations, as well as errors in the specifications themselves." @default.
- W2112447468 created "2016-06-24" @default.
- W2112447468 creator A5066550051 @default.
- W2112447468 creator A5082623061 @default.
- W2112447468 creator A5085763650 @default.
- W2112447468 date "2006-07-21" @default.
- W2112447468 modified "2023-10-17" @default.
- W2112447468 title "Modular verification of code with SAT" @default.
- W2112447468 cites W1557880268 @default.
- W2112447468 cites W1578723138 @default.
- W2112447468 cites W1993836075 @default.
- W2112447468 cites W2074845051 @default.
- W2112447468 cites W2082000355 @default.
- W2112447468 cites W2101512909 @default.
- W2112447468 cites W2115309705 @default.
- W2112447468 cites W2164392635 @default.
- W2112447468 cites W2169102536 @default.
- W2112447468 cites W2295903414 @default.
- W2112447468 cites W3023216518 @default.
- W2112447468 cites W4253606798 @default.
- W2112447468 cites W4300021588 @default.
- W2112447468 doi "https://doi.org/10.1145/1146238.1146251" @default.
- W2112447468 hasPublicationYear "2006" @default.
- W2112447468 type Work @default.
- W2112447468 sameAs 2112447468 @default.
- W2112447468 citedByCount "86" @default.
- W2112447468 countsByYear W21124474682012 @default.
- W2112447468 countsByYear W21124474682013 @default.
- W2112447468 countsByYear W21124474682014 @default.
- W2112447468 countsByYear W21124474682015 @default.
- W2112447468 countsByYear W21124474682016 @default.
- W2112447468 countsByYear W21124474682017 @default.
- W2112447468 countsByYear W21124474682018 @default.
- W2112447468 countsByYear W21124474682019 @default.
- W2112447468 countsByYear W21124474682020 @default.
- W2112447468 countsByYear W21124474682021 @default.
- W2112447468 countsByYear W21124474682022 @default.
- W2112447468 countsByYear W21124474682023 @default.
- W2112447468 crossrefType "proceedings-article" @default.
- W2112447468 hasAuthorship W2112447468A5066550051 @default.
- W2112447468 hasAuthorship W2112447468A5082623061 @default.
- W2112447468 hasAuthorship W2112447468A5085763650 @default.
- W2112447468 hasConcept C101468663 @default.
- W2112447468 hasConcept C110251889 @default.
- W2112447468 hasConcept C111498074 @default.
- W2112447468 hasConcept C113843644 @default.
- W2112447468 hasConcept C129307140 @default.
- W2112447468 hasConcept C154945302 @default.
- W2112447468 hasConcept C157915830 @default.
- W2112447468 hasConcept C164155591 @default.
- W2112447468 hasConcept C173608175 @default.
- W2112447468 hasConcept C199360897 @default.
- W2112447468 hasConcept C26713055 @default.
- W2112447468 hasConcept C2777212361 @default.
- W2112447468 hasConcept C41008148 @default.
- W2112447468 hasConcept C548217200 @default.
- W2112447468 hasConcept C6943359 @default.
- W2112447468 hasConcept C80444323 @default.
- W2112447468 hasConceptScore W2112447468C101468663 @default.
- W2112447468 hasConceptScore W2112447468C110251889 @default.
- W2112447468 hasConceptScore W2112447468C111498074 @default.
- W2112447468 hasConceptScore W2112447468C113843644 @default.
- W2112447468 hasConceptScore W2112447468C129307140 @default.
- W2112447468 hasConceptScore W2112447468C154945302 @default.
- W2112447468 hasConceptScore W2112447468C157915830 @default.
- W2112447468 hasConceptScore W2112447468C164155591 @default.
- W2112447468 hasConceptScore W2112447468C173608175 @default.
- W2112447468 hasConceptScore W2112447468C199360897 @default.
- W2112447468 hasConceptScore W2112447468C26713055 @default.
- W2112447468 hasConceptScore W2112447468C2777212361 @default.
- W2112447468 hasConceptScore W2112447468C41008148 @default.
- W2112447468 hasConceptScore W2112447468C548217200 @default.
- W2112447468 hasConceptScore W2112447468C6943359 @default.
- W2112447468 hasConceptScore W2112447468C80444323 @default.
- W2112447468 hasLocation W21124474681 @default.
- W2112447468 hasOpenAccess W2112447468 @default.
- W2112447468 hasPrimaryLocation W21124474681 @default.
- W2112447468 hasRelatedWork W1513749810 @default.
- W2112447468 hasRelatedWork W1850275321 @default.
- W2112447468 hasRelatedWork W1965965053 @default.
- W2112447468 hasRelatedWork W1990214517 @default.
- W2112447468 hasRelatedWork W2047591646 @default.
- W2112447468 hasRelatedWork W2155162307 @default.
- W2112447468 hasRelatedWork W2372895414 @default.
- W2112447468 hasRelatedWork W2755744672 @default.
- W2112447468 hasRelatedWork W2914225034 @default.
- W2112447468 hasRelatedWork W4285199770 @default.
- W2112447468 isParatext "false" @default.
- W2112447468 isRetracted "false" @default.
- W2112447468 magId "2112447468" @default.
- W2112447468 workType "article" @default.