Compositionality and locality for improving model checking in the selective mu-calculus

DOI10.1016/J.SCICO.2004.07.002zbMath1083.68087OpenAlexW2097768234MaRDI QIDQ703588

Gigliola Vaglini, Antonella Santone

Publication date: 11 January 2005

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2004.07.002

zbMATH Keywords

Software engineeringModel checkingTemporal logicCompositionalityTableau system

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Compositionality and locality for improving model checking in the selective mu-calculus