FORMES stands for FORmal Methods for Embedded Systems. It is one of the projects run within the LIAMA Consortium as a cooperation project between INRIA and Tsinghua University. This project is aiming at making research advances towards the development of safe and reliable embedded systems, by exploiting synergies between two different approaches, namely (real time) hardware simulation and formal proofs development. more...
News
- September 3-17
- Advanced lectures on Lambda-calculus by Jean-Jacques Lévy
- August 20
- 2nd Asian-Pacific Summer School on Formal Methods
- July 2
- Proposal for hosting the 23rd International Conference on Rewriting Techniques and Applications (RTA) in 2012.
- March 30
- First release of Formes simulation software SimSoC.
- March 30
- Formes 2009 activity report available online.
Publications
Projects
Contact
Offices 3-60[3-5], FIT Building, Tsinghua University
Haidian District, Beijing, 100084, CHINA
- Tsinghua secretary: Lin Cui, assistant@formes.asia
- LIAMA secretary: Melanie Zhang, CASIA 1123, +86 10 82 61 44 62
- LIAMA fax: +86 10 62 64 74 58
- Access map
