A Research Landscape on Formal Verification of Software Architecture Descriptions - Araujo, Camila; Cavalcante, Everton; Batista, Thais; Oliveira, Marcel; Oquendo, Flavio (IEEE access, 2019)
Keywords: Architecture description; Computer architecture; Computer Science; Data mining; Descriptions; Formal verification; property specification; Quality management; Software; Software architecture; software architectures; Software Engineering; Software systems; systematic mapping; Systematics; Taxonomy; Verification