UTP and Temporal Logic Model Checking

DOI10.1007/978-3-642-14521-6_3zbMath1286.68066OpenAlexW2100214469WikidataQ57936888 ScholiaQ57936888MaRDI QIDQ3585021

Leo Freitas, Gabriel Ciobanu, Hugh Anderson

Publication date: 31 August 2010

Published in: Unifying Theories of Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14521-6_3

zbMATH Keywords

symbolic model checkingunifying theories of programming

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: UTP and Temporal Logic Model Checking