Sciweavers

    4167 search results - page 267 / 834
    » Regression model checking
    Sort
    View
    DLOG
    2010
    150views Automated Reasoning» more  DLOG 2010»
    Checking Full Satisfiability of Conceptual Models
    15 years 2 months ago
    Checking Full Satisfiability of Conceptual Models
    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 »
    FSTTCS
    2010
    Springer
    146views Software Engineering» more  FSTTCS 2010»
    ATL with Strategy Contexts: Expressiveness and Model Checking
    15 years 2 months ago
    ATL with Strategy Contexts: Expressiveness and Model Checking
    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 »
    ICPADS
    2010
    IEEE
    145views Distributed And Parallel Com...» more  ICPADS 2010»
    Employing Multiple CUDA Devices to Accelerate LTL Model Checking
    15 years 2 months ago
    Employing Multiple CUDA Devices to Accelerate LTL Model Checking
    Download  www.memics.cz
    Jiri Barnat, Petr Bauch, Lubos Brim, Milan Ceska
    claim paper
    Read More »
    KBSE
    2010
    IEEE
    190views Software Engineering» more  KBSE 2010»
    Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines
    15 years 2 months ago
    Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines
    Download  www.leduotang.com
    Sylvain Hallé, Taylor Ettema, Chris Bunch, ...
    claim paper
    Read More »
    CORR
    2009
    Springer
    85views Education» more  CORR 2009»
    DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking
    15 years 2 months ago
    DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking
    Download  anna.fi.muni.cz
    Jiri Barnat, Lubos Brim, Milan Ceska
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.