Skip to main content

Model Checking Software at Compile Time

Authors

Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel Lussenburg and Felix Rauch

National ICT Australia
Sydney
Australia

School of Computer Science and Engineering
University of New South Wales
Sydney
Australia

Department of Computer Science
Swiss Federal Institute of Technology (ETH)
Zurich
Switzerland

Abstract

BibTeX Entry

  @inproceedings{Fehnker_HJLR_07,
    author           = {Ansgar Fehnker and Ralf Huuck and Patrick Jayet and Michel Lussenburg and Felix Rauch},
    month            = jun,
    year             = {2007},
    title            = {{Model Checking Software at Compile Time}},
    address          = {Shanghai, China},
    booktitle        = {Proceedings of the 1st IEEE \& IFIP International Symposium on Theoretical Aspects of Software
                        Engineering}
  }

Download

Served by Apache on Linux on seL4.