A Complete Abstract Interpretation Framework for Coverability Properties of WSTS.

Pierre Ganty Jean-François Raskin Laurent Van Begin

Published in: VMCAI (2006)

Keyphrases

abstract interpretation
relational databases
model checking
termination analysis
case study
software engineering
fine grained
business process