Matches in SemOpenAlex for { <https://semopenalex.org/work/W2290740970> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2290740970 abstract "Model checking has a long stigmatized history of being slow and not scalable to large real life systems. In this talk we report on our experiences of using model checking at the core of our C/C++ source code analysis tool Goanna. We present our underlying abstractions, refinement models and auxiliary techniques to obtain a solution that is fast, scalable, and sufficiently precise. Moreover, we report on our experience from routinely uncovering security vulnerabilities and mission critical bugs in real life systems, and the challenges in moving our Goanna software from an academic project to widely used commercial product. Bio Dr. Ralf Huuck is a senior researcher with NICTA, Australia’s national center of excellence for computer science research, a senior lecturer with the Univeristy of New South Wales, Sydney, and the CTO and co-Founder of Red Lizard Software, an enterprise delivering software source code analysis solutions. Ralf obtained his PhD in formal methods from the University of Kiel, Germany, and was holding visiting appointments in France, Hong Kong, Australia and Japan." @default.
- W2290740970 created "2016-06-24" @default.
- W2290740970 creator A5024021805 @default.
- W2290740970 creator A5033729614 @default.
- W2290740970 creator A5084401124 @default.
- W2290740970 date "2011-01-01" @default.
- W2290740970 modified "2023-09-23" @default.
- W2290740970 title "TTSS'11 - 5th International Workshop on Harnessing Theories for Tool Support in Software" @default.
- W2290740970 cites W1505328378 @default.
- W2290740970 cites W1575442313 @default.
- W2290740970 cites W1985821389 @default.
- W2290740970 cites W1997143185 @default.
- W2290740970 cites W2084804301 @default.
- W2290740970 cites W2087404516 @default.
- W2290740970 cites W2088675571 @default.
- W2290740970 hasPublicationYear "2011" @default.
- W2290740970 type Work @default.
- W2290740970 sameAs 2290740970 @default.
- W2290740970 citedByCount "0" @default.
- W2290740970 crossrefType "journal-article" @default.
- W2290740970 hasAuthorship W2290740970A5024021805 @default.
- W2290740970 hasAuthorship W2290740970A5033729614 @default.
- W2290740970 hasAuthorship W2290740970A5084401124 @default.
- W2290740970 hasConcept C110354214 @default.
- W2290740970 hasConcept C111919701 @default.
- W2290740970 hasConcept C115903868 @default.
- W2290740970 hasConcept C127413603 @default.
- W2290740970 hasConcept C144024400 @default.
- W2290740970 hasConcept C161191863 @default.
- W2290740970 hasConcept C17744445 @default.
- W2290740970 hasConcept C199360897 @default.
- W2290740970 hasConcept C199539241 @default.
- W2290740970 hasConcept C2524010 @default.
- W2290740970 hasConcept C2777352838 @default.
- W2290740970 hasConcept C2777904410 @default.
- W2290740970 hasConcept C33923547 @default.
- W2290740970 hasConcept C41008148 @default.
- W2290740970 hasConcept C48044578 @default.
- W2290740970 hasConcept C90673727 @default.
- W2290740970 hasConceptScore W2290740970C110354214 @default.
- W2290740970 hasConceptScore W2290740970C111919701 @default.
- W2290740970 hasConceptScore W2290740970C115903868 @default.
- W2290740970 hasConceptScore W2290740970C127413603 @default.
- W2290740970 hasConceptScore W2290740970C144024400 @default.
- W2290740970 hasConceptScore W2290740970C161191863 @default.
- W2290740970 hasConceptScore W2290740970C17744445 @default.
- W2290740970 hasConceptScore W2290740970C199360897 @default.
- W2290740970 hasConceptScore W2290740970C199539241 @default.
- W2290740970 hasConceptScore W2290740970C2524010 @default.
- W2290740970 hasConceptScore W2290740970C2777352838 @default.
- W2290740970 hasConceptScore W2290740970C2777904410 @default.
- W2290740970 hasConceptScore W2290740970C33923547 @default.
- W2290740970 hasConceptScore W2290740970C41008148 @default.
- W2290740970 hasConceptScore W2290740970C48044578 @default.
- W2290740970 hasConceptScore W2290740970C90673727 @default.
- W2290740970 hasLocation W22907409701 @default.
- W2290740970 hasOpenAccess W2290740970 @default.
- W2290740970 hasPrimaryLocation W22907409701 @default.
- W2290740970 hasRelatedWork W100747279 @default.
- W2290740970 hasRelatedWork W154794600 @default.
- W2290740970 hasRelatedWork W1589633727 @default.
- W2290740970 hasRelatedWork W1596978359 @default.
- W2290740970 hasRelatedWork W1777558332 @default.
- W2290740970 hasRelatedWork W1979672645 @default.
- W2290740970 hasRelatedWork W2097214588 @default.
- W2290740970 hasRelatedWork W2120431627 @default.
- W2290740970 hasRelatedWork W2162485765 @default.
- W2290740970 hasRelatedWork W2188697369 @default.
- W2290740970 hasRelatedWork W2242284434 @default.
- W2290740970 hasRelatedWork W2250264097 @default.
- W2290740970 hasRelatedWork W2265479481 @default.
- W2290740970 hasRelatedWork W2608032751 @default.
- W2290740970 hasRelatedWork W2911613149 @default.
- W2290740970 hasRelatedWork W2949347290 @default.
- W2290740970 hasRelatedWork W2988062284 @default.
- W2290740970 hasRelatedWork W2989367508 @default.
- W2290740970 hasRelatedWork W3141210612 @default.
- W2290740970 hasRelatedWork W2098385380 @default.
- W2290740970 isParatext "false" @default.
- W2290740970 isRetracted "false" @default.
- W2290740970 magId "2290740970" @default.
- W2290740970 workType "article" @default.