Partial model checking via abstract interpretation

DOI10.1016/J.IPL.2009.10.014MaRDI QIDQ990121zbMATH OpenOpenAlexFDO

Authors Nicoletta De Francesco, Giuseppe Lettieri, Luca Martini, Gigliola Vaglini

Publication date 2 September 2010

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL http://eprints.adm.unipi.it/669/1/ccs.pdf

zbMATH Keywords

compositional verificationconcurrencytemporal logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1759702
• Lazy abstraction
• Model-checking view-based partial specifications
• scientific article; zbMATH DE number 1903343
• Verification, Model Checking, and Abstract Interpretation

Cites work

• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• Partial model checking via abstract interpretation
• Temporal abstract interpretation

Cited in

(5)

• Natural projection as partial model checking
• A generalized semantics of PROMELA for abstract model checking
• A partial approach to model checking
• Model-checking view-based partial specifications
• Partial model checking via abstract interpretation

This page was built for publication: Partial model checking via abstract interpretation

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