Counter abstraction in the CSP/FDR setting

DOI10.1016/J.ENTCS.2009.08.012MaRDI QIDQ2810979zbMATH OpenOpenAlexFDO

Authors Tomasz Mazur, Gavin Lowe

Publication date 6 June 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2009.08.012

zbMATH Keywords

counter abstractionCSPmodel checkingparameterised verification

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)

Recommendations

• A mechanized strategy for safe abstraction of CSP specifications
• Context-aware counter abstraction
• Symbolic Counter Abstraction for Concurrent Software
• scientific article; zbMATH DE number 2090136
• Integrated Formal Methods

Cites work

• Communicating sequential processes
• scientific article; zbMATH DE number 1670775 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 1903348 (Why is no real title available?)
• scientific article; zbMATH DE number 2102703 (Why is no real title available?)
• scientific article; zbMATH DE number 868107 (Why is no real title available?)
• Reasoning about systems with many processes
• Verification by augmented finitary abstraction
• Verification, Model Checking, and Abstract Interpretation

Cited in

(9)

• Slow abstraction via priority
• A mechanized strategy for safe abstraction of CSP specifications
• scientific article; zbMATH DE number 1759711 (Why is no real title available?)
• scientific article; zbMATH DE number 2090136 (Why is no real title available?)
• Model Checking Software
• Integrated Formal Methods
• Abstraction and testing in CSP
• Context-aware counter abstraction
• Counter abstraction for regular open teams

This page was built for publication: Counter abstraction in the CSP/FDR setting

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