Applying Predicate Abstraction to Abstract State Machines.

Alessandro Bianchi, Sebastiano Pizzutilo, Gennaro Vessio

Browse the full CaiSE paper archive.