LARA This is an old revision of the document! LARA Funding EPFL Laboratory for Automated Reasoning and Analysis is supported by the funding from European Research Council (ERC) EPFL School of Computer and Communication Sciences Swiss National Science Foundation Microsoft Innovation Cluster for Embedded Software European Cooperation in Science and Technology