Sciweavers

    210 search results - page 2 / 42
    » Partial model checking via abstract interpretation
    Sort
    View
    LOPSTR
    2001
    Springer
    116views Automated Reasoning» more  LOPSTR 2001»
    Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking
    15 years 9 months ago
    Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking
    Download  eprints.ecs.soton.ac.uk
    Michael Leuschel, Stefan Gruner
    claim paper
    Read More »
    CAV
    2004
    Springer
    89views Hardware» more  CAV 2004»
    Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors
    15 years 10 months ago
    Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors
    Download  www.cs.cmu.edu
    Amit Goel, Randal E. Bryant
    claim paper
    Read More »
    128
    Voted
    TAP
    2008
    Springer
    110views Hardware» more  TAP 2008»
    Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model
    15 years 4 months ago
    Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model
    Download  www.pietro.ferrara.name
    Pietro Ferrara
    claim paper
    Read More »
    TACAS
    2010
    Springer
    181views Algorithms» more  TACAS 2010»
    Boom: Taking Boolean Program Model Checking One Step Further
    15 years 12 months ago
    Boom: Taking Boolean Program Model Checking One Step Further
    Download  www.comlab.ox.ac.uk
    Abstract. We present Boom, a comprehensive analysis tool for Boolean programs. We focus in this paper on model-checking non-recursive concurrent programs. Boom implements a recent ...
    Gérard Basler, Matthew Hague, Daniel Kroeni...
    claim paper
    Read More »
    130
    Voted
    FASE
    2003
    Springer
    96views Software Engineering» more  FASE 2003»
    Model Checking Software via Abstraction of Loop Transitions
    15 years 10 months ago
    Model Checking Software via Abstraction of Loop Transitions
    Download  www.cs.cmu.edu
    Natasha Sharygina, James C. Browne
    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.