Ordered Counter-Abstraction - Refinable Subword Relations for Parameterized Verification.

Pierre Ganty, Ahmed Rezine

Browse the full LATA paper archive.