Model Checking Abstract State Machines with Answer Set Programming.

Calvin Kai Fan Tang, Eugenia Ternovska

Browse the full LPAR paper archive.