A two-level approach based on model checking to support architecture conformance checking

DOI10.1007/978-3-030-92137-8_1zbMath1498.68164OpenAlexW3216552992MaRDI QIDQ2154043

Ana Teresa Martins, Thiago Alves Rocha, Bruno Menezes

Publication date: 13 July 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-92137-8_1

zbMATH Keywords

formal verificationhybrid logicmodel checkingtemporal logicarchitecture conformance checking

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• An Introduction to Practical Formal Methods Using Temporal Logic
• Model Checking CTL is Almost Always Inherently Sequential
• Logic in Computer Science
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A two-level approach based on model checking to support architecture conformance checking