The web page for the CREST project “Formal Methods and Verification Tools for Next-generation Automotive System Platforms” was opened. Members, news and publications will be disclosed via this web page.