Search Sciweavers | Sciweavers

3224 search results - page 267 / 645

» On Checking Model Checkers

161

click to vote

DLOG
2010

150views Automated Reasoning» more DLOG 2010»

Checking Full Satisfiability of Conceptual Models

15 years 4 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 »

141

Voted

FSTTCS
2010
Springer

146views Software Engineering» more FSTTCS 2010»

ATL with Strategy Contexts: Expressiveness and Model Checking

15 years 4 months ago

Download www.lsv.ens-cachan.fr

We study the alternating-time temporal logics ATL and ATL extended with strategy contexts: these make agents commit to their strategies during the evaluation of formulas, contrary...

Arnaud Da Costa Lopes, François Laroussinie...

claim paper

Read More »

133

click to vote

ICPADS
2010
IEEE

145views Distributed And Parallel Com...» more ICPADS 2010»

Employing Multiple CUDA Devices to Accelerate LTL Model Checking

15 years 4 months ago