A Static Analysis Framework for Livelock Freedom in CSP

Joël Ouaknine Hristina Palikareva A. W. Roscoe James Worrell

Published in: Log. Methods Comput. Sci. (2013)

Keyphrases

static analysis
abstract interpretation
test set
metadata
data sources
software engineering
software development
conceptual model
cd rom