• Methodology for Specification...

*Result*: Methodology for Specification and Verification of High-Level Requirements with MetAcsl

Title:
Methodology for Specification and Verification of High-Level Requirements with MetAcsl
Authors:
Robles, Virgile, Kosmatov, Nikolai, Prevosto, Virgile, Rilling, Louis, Gall, Pascale Le
Source:
2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE) FORMALISE Formal Methods in Software Engineering (FormaliSE), 2021 IEEE/ACM 9th International Conference on. :54-67 May, 2021
Relation:
2021 IEEE/ACM 9th International Conference on Formal Methods in Software Engineering (FormaliSE)
Database:
IEEE Xplore Digital Library