Sciweavers

    4036 search results - page 73 / 808
    » Formal Methods
    Sort
    View
    CAV
    2004
    Springer
    105views Hardware» more  CAV 2004»
    A Formal Reduction for Lock-Free Parallel Algorithms
    15 years 10 months ago
    A Formal Reduction for Lock-Free Parallel Algorithms
    Download  dissertations.ub.rug.nl
    Hui Gao, Wim H. Hesselink
    claim paper
    Read More »
    FMCAD
    2004
    Springer
    92views Formal Methods» more  FMCAD 2004»
    A Methodology for the Formal Verification of FFT Algorithms in HOL
    15 years 10 months ago
    A Methodology for the Formal Verification of FFT Algorithms in HOL
    Download  www.cl.cam.ac.uk
    Behzad Akbarpour, Sofiène Tahar
    claim paper
    Read More »
    IFM
    2009
    Springer
    77views Formal Methods» more  IFM 2009»
    Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays
    15 years 9 months ago
    Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays
    Download  hvg.ece.concordia.ca
    Osman Hasan, Naeem Abbasi, Sofiène Tahar
    claim paper
    Read More »
    TSE
    2002
    125views more  TSE 2002»
    An Automated Verification Method for Distributed Systems Software Based on Model Extraction
    15 years 4 months ago
    An Automated Verification Method for Distributed Systems Software Based on Model Extraction
    Download  spinroot.com
    Gerard J. Holzmann, Margaret H. Smith
    claim paper
    Read More »
    FMCO
    2006
    Springer
    103views Formal Methods» more  FMCO 2006»
    Verifying Object-Oriented Programs with KeY: A Tutorial
    15 years 8 months ago
    Verifying Object-Oriented Programs with KeY: A Tutorial
    Download  www.uni-koblenz.de
    This paper is a tutorial on performing formal specification and semi-automatic verification of Java programs with the formal software development tool KeY. This tutorial aims to fi...
    Wolfgang Ahrendt, Bernhard Beckert, Reiner Hä...
    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.