Deciding Full Branching Time Logic by Program Transformation

DOI10.1007/978-3-642-12592-8_2zbMath1284.68413OpenAlexW1596352299MaRDI QIDQ3558281

Maurizio Proietti, Valerio Senni, Alberto Pettorossi

Publication date: 4 May 2010

Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: http://eprints.imtlucca.it/1372/1/Senni_LNCS_2010_preprint.pdf

Mathematics Subject Classification ID

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 (2)

Extending Co-logic Programs for Branching-Time Model Checking ⋮ On Inductive Proofs by Extended Unfold/Fold Transformation Rules

This page was built for publication: Deciding Full Branching Time Logic by Program Transformation