A New Translation from ECTL* to SAT

DOI10.3233/FI-2012-768zbMath1283.68218OpenAlexW1631431469MaRDI QIDQ4902327

Andrzej Zbrzezny

Publication date: 14 January 2013

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2012-768

zbMATH Keywords

computation tree logicbounded model checking

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (2)

Checking EMTLK properties of timed interpreted systems via bounded model checking ⋮ Linear templates of ACTL formulas with an application to SAT-based verification

This page was built for publication: A New Translation from ECTL* to SAT