Reasons for the Action include coordinating automated reasoning research to make the techniques and tools more powerful and easier to use by developers of computer systems, including hardware, software large-scale information systems, and data centers.
The notion of Rich-Model Language will be more expressive than any of the existing languages used to describe analyzable models. This expressive power will enable a broad community to agree an the Rich-Model Language. Researchers and developers will be able to directly represent the implementations of software and hardware systems, avoiding manual abstraction and lowering the expertise needed to construct sophisticated analysis and synthesis tools. The Rich-Model Language will also foster research in analysis and synthesis algorithms because it will enable researchers to compare a wide range of techniques on a collection of models of practical interest, leading to the exchange of fruitful ideas across different approaches.