An Ontology-Based Approach to Support Formal Verification of Concurrent Systems.

Natalia Olegovna Garanina, Igor S. Anureev, Elena A. Sidorova, Dmitry Koznov, Vladimir Zyubin, Sergei Gorlatch

Browse the full FM paper archive.