A Complete Abstract Interpretation Framework for Coverability Properties of WSTS.

Pierre Ganty, Jean-Franois Raskin, Laurent Van Begin

Browse the full VMCAI paper archive.