Rich-Model Toolkit

About the Initiative

This 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.

A Sample of Topics of Interest:

  • Standardization of expressive languages. Formats to represent systems, formulas, proofs, counterexamples. Translation between specification languages. Benchmarks and competitions for automated reasoning, verification, analysis, synthesis.
  • Decision procedures. Decision procedures for new classes of constraints. SAT and SMT implementation and certification. Encoding synthesis and analysis problems into SMT. Description logics and scalable reasoning about knowledge bases.
  • Transition system analysis. Abstraction-based approaches and refinement for verification of infinite-state systems. Constraint-based program analysis. Data-flow analysis for complex domains. Extracting transition systems from programming languages and bytecodes.
  • High-level synthesis. New algorithms for synthesis from highlevel specifications. Extending decision procedures to perform synthesis tasks. Connections between invariant generation and code synthesis.

COST Action IC0901 Information

COST

Action IC0901: Rich-Model Toolkit - An Infrastructure for Reliable Computer Systems

For Internal Page Click Here

Official pages:

Upcoming Action IC0901 meetings:

  • WG1+2 Meeting will be in Belgrade, January 29-30th, with the 3rd Workshop on Formal and Automated Theorem Proving with Applications
    • Local organization: Predrag Janicic
  • SVARM will be held at FLOC 2010, July 20-21, 2010
    • Local organization: Paul Jackson
  • WG2+3 Meeting will be held with FMCAD 2010, October 18-19, 2010
    • Local organization: Viktor Kuncak and Natasha Sharygina

Past meetings:

  • Kick-Off Meeting was held in Brussels, October 30th, 2009

About COST: http://www.cost.esf.org/

Mailing Lists

Rich Model Toolkit Mailing List (for broad technical discussions):

  • richmodels-all

Management Committee Mailing List (for decision making and Action logistics):

  • richmodels-mc

Both lists have domain epfl.ch

URL for configuration and archive:

Experts

From countries participating under the COST European Cooperation:

Additional experts:

 
start.txt · Last modified: 2009/11/18 16:50 by vkuncak
 
Except where otherwise noted, content on this wiki is licensed under the following license:CC Attribution-Noncommercial-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki