A FORMULA-DRIVEN MODULAR ATTACK ON STATE EXPLOSION

DOI10.1142/S0129054102001412MaRDI QIDQ3021982zbMATH OpenFDO

Authors Nicoletta De Francesco, Antonella Santone

Publication date 22 June 2005

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

zbMATH Keywords

model checkingtemporal logiccompositionalityCCSstate explosion

Mathematics Subject Classification ID

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

Recommendations

• Automatic verification of concurrent systems using a formula-based compositional approach
• Practical Efficient Modular Linear-Time Model-Checking
• Exploiting design structure in model checking. (Abstract)
• scientific article; zbMATH DE number 1744968
• scientific article; zbMATH DE number 4180789

Cites work

• Selective mu-calculus and formula-based equivalence of transition systems

Cited in

(5)

• To compose, or not to compose, that is the question: an analysis of compositional state space generation
• Automatic verification of concurrent systems using a formula-based compositional approach
• A parametric analysis of the state-explosion problem in model checking
• scientific article; zbMATH DE number 1693431 (Why is no real title available?)
• scientific article; zbMATH DE number 2086421 (Why is no real title available?)

This page was built for publication: A FORMULA-DRIVEN MODULAR ATTACK ON STATE EXPLOSION

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3021982)