View article

More and more model checking approaches rely nowadays on several inputs, potentially expressed in different formalisms. Tools implementing these usually include only the expected formalisms. Thus, such tools are ad-hoc and lack extensibility and interoperability features, especially when new formalisms are needed.

The challenge is then to design a generic and easy way for several formalisms to cohabit in such verification software. Creation, exchange, and interoperability between formalisms would be facilitated, thus saving numerous development efforts.

The originality of the CosyVerif platform lies in its capability to easily and rapidly gather diverse formalisms within a same framework, and to provide extension facilities to integrate new ones.