A CTL-Based Logic for Program Abstractions

DOI10.1007/978-3-642-13824-9_2zbMath1253.03060OpenAlexW1523732117MaRDI QIDQ4931586

Markus Latte, Martin Lange

Publication date: 29 September 2010

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.707.8139

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)

Related Items (1)

Branching-time logics with path relativisation

This page was built for publication: A CTL-Based Logic for Program Abstractions