Sciweavers

    2514 search results - page 6 / 503
    » The use of industrial-strength formal methods
    Sort
    View
    MEMOCODE
    2010
    IEEE
    176views Formal Methods» more  MEMOCODE 2010»
    Predictable multithreading of embedded applications using PRET-C
    15 years 3 months ago
    Predictable multithreading of embedded applications using PRET-C
    Download  www.ece.auckland.ac.nz
    Sidharta Andalam, Partha S. Roop, Alain Girault
    claim paper
    Read More »
    FMSD
    2011
    236views Formal Methods» more  FMSD 2011»
    Automatic analysis of DMA races using model checking and k-induction
    14 years 9 months ago
    Automatic analysis of DMA races using model checking and k-induction
    Download  www.philipp.ruemmer.org
    Alastair F. Donaldson, Daniel Kroening, Philipp R&...
    claim paper
    Read More »
    ICFCA
    2004
    Springer
    80views Formal Methods» more  ICFCA 2004»
    Using Concept Lattices for Requirements Reconciliation
    15 years 11 months ago
    Using Concept Lattices for Requirements Reconciliation
    Download  www.comp.mq.edu.au
    Debbie Richards
    claim paper
    Read More »
    CAV
    2005
    Springer
    98views Hardware» more  CAV 2005»
    Wolf - Bug Hunter for Concurrent Software Using Formal Methods
    15 years 11 months ago
    Wolf - Bug Hunter for Concurrent Software Using Formal Methods
    Download  eprints.isofts.kiev.ua
    Sharon Barner, Ziv Glazberg, Ishai Rabinovitz
    claim paper
    Read More »
    FM
    2006
    Springer
    127views Formal Methods» more  FM 2006»
    Using Domain-Independent Problems for Introducing Formal Methods
    15 years 9 months ago
    Using Domain-Independent Problems for Introducing Formal Methods
    Download  www.openlicensesociety.org
    Abstract. The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems -i.e., not requiring prior engineering backg...
    Raymond T. Boute
    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.