scientific article; zbMATH DE number 2140441

zbMath1088.68110MaRDI QIDQ4654277

Bożena Woźna

Publication date: 3 March 2005

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

bounded model checkingbounded semanticslogic ACTL*logic ECTL*translation to SAT

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (3)

Linear templates of ACTL formulas with an application to SAT-based verification ⋮ Bounded semantics ⋮ Bounded model checking for knowledge and real time

This page was built for publication: