Towards leveraging domain knowledge in state-based formal methods
From MaRDI portal
Publication:2115898
DOI10.1007/978-3-030-76020-5_1OpenAlexW3169053956MaRDI QIDQ2115898
Yamine Ait-Ameur, Neeraj Kumar Singh, Dominique Méry, Régine Laleau
Publication date: 22 March 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-76020-5_1
Uses Software
Cites Work
This page was built for publication: Towards leveraging domain knowledge in state-based formal methods