Matches in SemOpenAlex for { <https://semopenalex.org/work/W850791302> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W850791302 abstract "The Scalable Analysis Toolkit (SAT) project aimed to demonstrate that it is feasible and useful to statically detect software bugs in very large systems. The technical focus of the project was on a relatively new class of constraint-based techniques for analysis software, where the desired facts about programs (e.g., the presence of a particular bug) are phrased as constraint problems to be solved. At the beginning of this project, the most successful forms of formal software analysis were limited forms of automatic theorem proving (as exemplified by the analyses used in language type systems and optimizing compilers), semi-automatic theorem proving for full verification, and model checking. With a few notable exceptions these approaches had not been demonstrated to scale to software systems of even 50,000 lines of code. Realistic approaches to large-scale software analysis cannot hope to make every conceivable formal method scale. Thus, the SAT approach is to mix different methods in one application by using coarse and fast but still adequate methods at the largest scales, and reserving the use of more precise but also more expensive methods at smaller scales for critical aspects (that is, aspects critical to the analysis problem under consideration) of a software system. The principled method proposed for combining a heterogeneous collection of formal systems with different scalability characteristics is mixed constraints. This idea had been used previously in small-scale applications with encouraging results: using mostly coarse methods and narrowly targeted precise methods, useful information (meaning the discovery of bugs in real programs) was obtained with excellent scalability." @default.
- W850791302 created "2016-06-24" @default.
- W850791302 creator A5061301239 @default.
- W850791302 date "2001-01-01" @default.
- W850791302 modified "2023-09-27" @default.
- W850791302 title "A Scalable Analysis Toolkit" @default.
- W850791302 hasPublicationYear "2001" @default.
- W850791302 type Work @default.
- W850791302 sameAs 850791302 @default.
- W850791302 citedByCount "0" @default.
- W850791302 crossrefType "journal-article" @default.
- W850791302 hasAuthorship W850791302A5061301239 @default.
- W850791302 hasConcept C115903868 @default.
- W850791302 hasConcept C120665830 @default.
- W850791302 hasConcept C121332964 @default.
- W850791302 hasConcept C149091818 @default.
- W850791302 hasConcept C154945302 @default.
- W850791302 hasConcept C169590947 @default.
- W850791302 hasConcept C192209626 @default.
- W850791302 hasConcept C199360897 @default.
- W850791302 hasConcept C199519371 @default.
- W850791302 hasConcept C2524010 @default.
- W850791302 hasConcept C2776036281 @default.
- W850791302 hasConcept C2777212361 @default.
- W850791302 hasConcept C2777904410 @default.
- W850791302 hasConcept C2778755073 @default.
- W850791302 hasConcept C33923547 @default.
- W850791302 hasConcept C41008148 @default.
- W850791302 hasConcept C48044578 @default.
- W850791302 hasConcept C62520636 @default.
- W850791302 hasConcept C75606506 @default.
- W850791302 hasConcept C77088390 @default.
- W850791302 hasConcept C80444323 @default.
- W850791302 hasConceptScore W850791302C115903868 @default.
- W850791302 hasConceptScore W850791302C120665830 @default.
- W850791302 hasConceptScore W850791302C121332964 @default.
- W850791302 hasConceptScore W850791302C149091818 @default.
- W850791302 hasConceptScore W850791302C154945302 @default.
- W850791302 hasConceptScore W850791302C169590947 @default.
- W850791302 hasConceptScore W850791302C192209626 @default.
- W850791302 hasConceptScore W850791302C199360897 @default.
- W850791302 hasConceptScore W850791302C199519371 @default.
- W850791302 hasConceptScore W850791302C2524010 @default.
- W850791302 hasConceptScore W850791302C2776036281 @default.
- W850791302 hasConceptScore W850791302C2777212361 @default.
- W850791302 hasConceptScore W850791302C2777904410 @default.
- W850791302 hasConceptScore W850791302C2778755073 @default.
- W850791302 hasConceptScore W850791302C33923547 @default.
- W850791302 hasConceptScore W850791302C41008148 @default.
- W850791302 hasConceptScore W850791302C48044578 @default.
- W850791302 hasConceptScore W850791302C62520636 @default.
- W850791302 hasConceptScore W850791302C75606506 @default.
- W850791302 hasConceptScore W850791302C77088390 @default.
- W850791302 hasConceptScore W850791302C80444323 @default.
- W850791302 hasLocation W8507913021 @default.
- W850791302 hasOpenAccess W850791302 @default.
- W850791302 hasPrimaryLocation W8507913021 @default.
- W850791302 hasRelatedWork W2182273135 @default.
- W850791302 hasRelatedWork W2183338548 @default.
- W850791302 hasRelatedWork W2264831101 @default.
- W850791302 hasRelatedWork W2294099246 @default.
- W850791302 hasRelatedWork W2304048052 @default.
- W850791302 hasRelatedWork W2401287630 @default.
- W850791302 hasRelatedWork W2465465307 @default.
- W850791302 hasRelatedWork W2522132826 @default.
- W850791302 hasRelatedWork W2526013071 @default.
- W850791302 hasRelatedWork W2534107961 @default.
- W850791302 hasRelatedWork W2587335671 @default.
- W850791302 hasRelatedWork W2599880209 @default.
- W850791302 hasRelatedWork W2777984949 @default.
- W850791302 hasRelatedWork W2901575532 @default.
- W850791302 hasRelatedWork W2945084048 @default.
- W850791302 hasRelatedWork W2982321650 @default.
- W850791302 hasRelatedWork W2992540374 @default.
- W850791302 hasRelatedWork W3097779749 @default.
- W850791302 hasRelatedWork W3107950191 @default.
- W850791302 hasRelatedWork W2181595850 @default.
- W850791302 isParatext "false" @default.
- W850791302 isRetracted "false" @default.
- W850791302 magId "850791302" @default.
- W850791302 workType "article" @default.