Model Checking Abstract State Machines with Answer Set Programming

ECKING ABSTRACT STATE MACHINES WITH ANSWER SET PROGRAMMING by Calvin Kai Fan Tang B.Sc., Simon Fraser University, 2003 a thesis submitted in partial fulfillment of the requirements for the degree of Master of Science in the School of Computing Science c Calvin Kai Fan Tang 2006 SIMON FRASER UNIVERSITY Spring 2006 All rights reserved. This work may not be reproduced in whole or in part, by photocopy or other means, without the permission of the author. 

• Type: Conference
• Year: 2005
• Where: LPAR
• Authors: Calvin Kai Fan Tang, Eugenia Ternovska
• Keywords: Calvin Kai Fan, Kai Fan Tang, LPAR 2005, Simon Fraser University