Sciweavers

    6608 search results - page 200 / 1322
    » On the Completeness of Model Checking
    Sort
    View
    FATES
    2004
    Springer
    86views Software Engineering» more  FATES 2004»
    An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components
    16 years 3 days ago
    An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components
    Download  www.eecs.wsu.edu
    Gaoyan Xie, Zhe Dang
    claim paper
    Read More »
    FMCAD
    2004
    Springer
    112views Formal Methods» more  FMCAD 2004»
    Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking
    16 years 3 days ago
    Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking
    Download  www.fi.muni.cz
    Lubos Brim, Ivana Cerná, Pavel Moravec 0002...
    claim paper
    Read More »
    IFIP
    2004
    Springer
    124views Programming Languages» more  IFIP 2004»
    On Complexity of Model-Checking for the TQL Logic
    16 years 2 days ago
    On Complexity of Model-Checking for the TQL Logic
    Download  wwwhome.cs.utwente.nl
    In this paper we study the complexity of the model-checking problem for the tree logic introduced as the basis for the query language TQL [Cardelli and Ghelli, 2001]. We define tw...
    Iovka Boneva, Jean-Marc Talbot
    claim paper
    Read More »
    ISOLA
    2004
    Springer
    74views Formal Methods» more  ISOLA 2004»
    Quantitative Model checking
    16 years 2 days ago
    Quantitative Model checking
    Download  www.cs.sunysb.edu
    Radu Grosu, Scott A. Smolka
    claim paper
    Read More »
    SPIN
    2004
    Springer
    97views Theoretical Computer Science» more  SPIN 2004»
    Model Checking Genetic Regulatory Networks Using GNA and CADP
    16 years 1 days ago
    Model Checking Genetic Regulatory Networks Using GNA and CADP
    Download  ibis.inrialpes.fr
    Grégory Batt, Damien Bergamini, Hidde de Jo...
    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.