Model Checking Support for the ASM High-Level Language.

Giuseppe Del Castillo, Kirsten Winter

Browse the full TACAS paper archive.