San Antonio / New York / Washington / DC / Kyoto / /
Company
TASE / ACM Press / Creative Commons / Microsoft / Model Checking Software / /
Country
Japan / United States / / /
Facility
Visual Studio / Engineering University of New South Wales Sydney / /
IndustryTerm
build systems / automated verification technology / software works / overall software quality / bug detection tool / algorithmic software tools / software engineers / software tools / process change management / Real life applications / dedicated engineering solutions / overall software development lifecycle / verification tools / software developers / dedicated software engineers / software analysis plays / software practice / verification technology / actual software tool / software bugs / specification tools / automated software analysis tool / concurrent systems / industrial-proof tools / analysis tool / software analysis tool / technology transfer / verification tool / /
Organization
Australia School of Computer Science / Motor Industry Software Reliability Association / IEEE Computer Society / Computer Science and Engineering University of New South Wales Sydney / /
Person
Maximilian Junker / Georg Weissenbacher / E. Allen Emerson / Edmund M. Clarke / Jean-Pierre Queille / Joseph Sifakis / Ralf Huuck / Kenji Taguchi / Daniel Kroening / Nikolaj Bjørner / Patrick Jayet / Michel Lussenburg / Robert C. Seacord / Leonardo De Moura / Alexander Knapp / Felix Rauch / /
Formal Verification, Engineering and Business Value Ralf Huuck NICTA Sydney, Australia School of Computer Science and Engineering University of New South Wales