Incremental model checking for decomposable structures

DOI10.1007/3-540-60246-1_159zbMath1193.68164OpenAlexW1583334139MaRDI QIDQ3569044

Johann A. Makowsky, Elena V. Ravve

Publication date: 17 June 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60246-1_159

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (5)

The monadic theory of finite representations of infinite words ⋮ Algorithmic uses of the Feferman-Vaught theorem ⋮ Fixpoint logics over hierarchical structures ⋮ Effective optimization with weighted automata on decomposable trees ⋮ A logic-based approach to incremental reasoning on multi-agent systems

This page was built for publication: Incremental model checking for decomposable structures