Static Program Analysis Ansgar Fehnker1 / ATMEL / AX / Michael Tapp1 2 1 National ICT Australia Ltd. / PHILIPS / Microcontroller Software / /
Country
Germany / /
Facility
Australia RWTH Aachen University / RWTH Aachen University / University of New South Wales Sydney NSW / /
IndustryTerm
model checking technology / Static analysis tools / automatic tools / reconfigurable hardware / software bugs / aerospace and global positioning industry / static analysis tool / software analysis techniques / selected solutions / Software model checkers / source code analysis tool / temporal operator / software development / /
OperatingSystem
GNU / /
Organization
Australian Governments Department of Communications / Information Technology and the Arts / Australia RWTH Aachen University / University of New South Wales / ICT Research Centre of Excellence / Australian Research Council / /
Position
stand-alone CAN controller / programmer / /
Product
Goanna / ATmega16 / /
ProgrammingLanguage
ANSI C / C / C++ / /
Region
South Wales / /
Technology
Xeon processor / ANSI C / Information Technology / ASCII / model checking technology / /
Automatic Bug Detection in Microcontroller Software by Static Program Analysis Ansgar Fehnker1 , Ralf Huuck1 , Bastian Schlich2 , and Michael Tapp1 2