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