Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

14

LPAR
2005
Springer

favoriteEmaildiscussreport

112views Automated Reasoning» more LPAR 2005»

Model Checking Abstract State Machines with Answer Set Programming

13 years 10 months ago

Model Checking Abstract State Machines with Answer Set Programming

Download www.cs.sfu.ca

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.

Calvin Kai Fan Tang, Eugenia Ternovska

Real-time Traffic

Calvin Kai Fan | Kai Fan Tang | LPAR 2005 | Simon Fraser University |

claim paper

Related Content

» Towards Automated Integration of Guess and Check Programs in Answer Set Programming

» Solving Alternating Boolean Equation Systems in Answer Set Programming

» Genetic Programming with Fitness Based on Model Checking

» Symbolic Bounded Conformance Checking of Model Programs

» An ActionStateBased ModelChecking Approach for the Analysis of Communication Protocols for...

» Model Checking Programs

» InputOutput Model Programs

» SLAB A Certifying Model Checker for InfiniteState Concurrent Systems

» Model Checking Based on Simultaneous Reachability Analysis

Post Info
More Details (n/a)

Added	28 Jun 2010
Updated	28 Jun 2010
Type	Conference
Year	2005
Where	LPAR
Authors	Calvin Kai Fan Tang, Eugenia Ternovska

Comments (0)