Partial model checking via abstract interpretation

DOI10.1016/j.ipl.2009.10.014zbMath1206.68196OpenAlexW2115903968MaRDI QIDQ990121

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

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

temporal logicconcurrencycompositional verification

Mathematics Subject Classification ID

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

Related Items (1)

Partial model checking via abstract interpretation

Cites Work

• Partial model checking via abstract interpretation
• Temporal abstract interpretation
• Unnamed Item

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