This rich model toolkit initiative explores directions and techniques for making automated reasoning (including analysis and synthesis) applicable to a wider range of problems, as well as making them easier to use by researchers, software developers, hardware designers, and information system users and developers. It includes participants from over 20 countries, over 50 research groups. The unifying idea of rich models is to explore precise mathematical and formal models of key aspects of our infrastructure, developing algorithms, tools, and common standardized formats. Through our networking activities we aim to establish connections between different tools, methodologies, and communities.
Selected Topics of Interest:
The chair and the grant holder of the action is Cesar Sanchez.
The Action holds general meetings typically twice a year, with one of these meetings publicized as the SVARM workshop.
The scientific program of our meetings is open to public and runs under the SVARM workshop series. Our meetings include the following:
Short-Term Scientific Missions in 2010:
Short-Term Scientific Missions in 2011:
Short-Term Scientific Missions in 2012:
Short-Term Scientific Missions in 2013:
Action IC0901: Rich-Model Toolkit - An Infrastructure for Reliable Computer Systems
|For Internal Page Click Here|
About COST: http://www.cost.eu/
Rich Model Toolkit Mailing List (for broad technical discussions):
Management Committee Mailing List (for decision making and Action logistics):
Both lists have domain epfl.ch
URL for configuration and archive:
The following is a partial list of experts with interest in the initiative: