Search Sciweavers | Sciweavers

2407 search results - page 16 / 482

» A Tool for Abstraction in Model Checking

click to vote

ATVA
2008
Springer

99views Hardware» more ATVA 2008»

Model Checking Recursive Programs with Exact Predicate Abstraction

14 years 11 months ago

Download www.cs.toronto.edu

e Abstraction Arie Gurfinkel1 , Ou Wei2 , and Marsha Chechik2 1 Software Engineering Institute, Carnegie Mellon University 2 Department of Computer Science, University of Toronto A...

Arie Gurfinkel, Ou Wei, Marsha Chechik

claim paper

Read More »

click to vote

LPAR
2005
Springer

112views Automated Reasoning» more LPAR 2005»

Model Checking Abstract State Machines with Answer Set Programming

15 years 3 months ago

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...

Calvin Kai Fan Tang, Eugenia Ternovska

claim paper

Read More »

click to vote

DLOG
2010

150views Automated Reasoning» more DLOG 2010»

Checking Full Satisfiability of Conceptual Models

14 years 7 months ago

Download www.inf.unibz.it

Abstract. UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constr...

Alessandro Artale, Diego Calvanese, Yazmin Ang&eac...

claim paper

Read More »

click to vote

FM
2009
Springer

90views Formal Methods» more FM 2009»

Fair Model Checking with Process Counter Abstraction

15 years 4 months ago