Copenhagen / Pasadena / San Antonio / San Diego / New York / /
Company
Coverity Inc. / TASE / Sean Seefried National ICT Australia Ltd. / ACM Press / Lucent Technologies / /
Country
United States / Australia / /
Facility
University of New South Wales Sydney NSW / /
IndustryTerm
static analysis tools / software security / abstract interpretation solutions / larger software / web browser / software correctness / precise least solution / industrial-strength static analysis tool / software model checkers / industrial static analysis tools / transition systems / software development / /
Organization
Australian Governments Department of Communications / Information Technology and the Arts / University of New South Wales / ICT Research Centre of Excellence / Australian Research Council / IEEE Computer Society / /
Person
Ralf Huuck / /
Product
Goanna / /
ProgrammingLanguage
J / C / C++ / /
ProvinceOrState
Texas / New York / California / /
Region
South Wales / /
Technology
CAV / Information Technology / underlying technology / Operating Systems / /
Goanna: Syntactic Software Model Checking Ansgar Fehnker, J¨ org Brauer, Ralf Huuck, and Sean Seefried National ICT Australia Ltd. (NICTA)? Locked Bag 6016 University of New South Wales