Counter Abstraction in the CSP/FDR setting

DOI10.1016/j.entcs.2009.08.012zbMath1339.68170OpenAlexW2153791853MaRDI QIDQ2810979

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

model checkingCSPparameterised verificationcounter abstraction

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)

Cites Work

• Verification by augmented finitary abstraction
• Communicating sequential processes
• Reasoning about systems with many processes
• Verification, Model Checking, and Abstract Interpretation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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