Verification of large state/event systems using compositionality and dependency analysis

DOI10.1023/A:1008736219484zbMath0970.68108OpenAlexW1625256512MaRDI QIDQ5929098

Kim Guldstrand Larsen, Henrik Reif Andersen, Gerd Behrmann, Henrik Hulgaard, Kåre J. Kristoffersen, Jørn Lind-Nielsen

Publication date: 2 July 2001

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1008736219484

zbMATH Keywords

compositionalitydependency analysis

Mathematics Subject Classification ID

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

Related Items (3)

An automatic method for the dynamic construction of abstractions of states of a formal model ⋮ Compositional SCC analysis for language emptiness ⋮ visualSTATE

Uses Software

• BuDDy

This page was built for publication: Verification of large state/event systems using compositionality and dependency analysis