Model Checking Abstract State Machines with Answer Set Programming

DOI10.1007/11591191_31zbMath1143.68463OpenAlexW1965163560MaRDI QIDQ5387857

Eugenia Ternovska, Calvin Kai Fan Tang

Publication date: 27 May 2008

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: http://summit.sfu.ca/item/2413

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• Cmodels

This page was built for publication: Model Checking Abstract State Machines with Answer Set Programming