Sciweavers

    32032 search results - page 118 / 6407
    » Verified programming in Guru
    Sort
    View
    FORTE
    1994
    98views Formal Methods» more  FORTE 1994»
    Verifying timing properties of concurrent algorithms
    15 years 5 months ago
    Verifying timing properties of concurrent algorithms
    Download  groups.csail.mit.edu
    Victor Luchangco, Ekrem Söylemez, Stephen J. ...
    claim paper
    Read More »
    CORR
    2006
    Springer
    57views Education» more  CORR 2006»
    On Verifying Complex Properties using Symbolic Shape Analysis
    15 years 4 months ago
    On Verifying Complex Properties using Symbolic Shape Analysis
    Download  www.mit.edu
    Thomas Wies, Viktor Kuncak, Karen Zee, Andreas Pod...
    claim paper
    Read More »
    JACIII
    2008
    121views more  JACIII 2008»
    Verifying the Reliability of Web Services Interactions for the Robot Communication Platform
    15 years 4 months ago
    Verifying the Reliability of Web Services Interactions for the Robot Communication Platform
    Download  www.fujipress.jp
    Masahiko Narita, Makiko Shimamura, Sadao Yashiro, ...
    claim paper
    Read More »
    CL
    2004
    Springer
    80views Automated Reasoning» more  CL 2004»
    Verifying persistent security properties
    15 years 4 months ago
    Verifying persistent security properties
    Download  www.di.unipi.it
    Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sa...
    claim paper
    Read More »
    FMSD
    2000
    69views more  FMSD 2000»
    Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System
    15 years 4 months ago
    Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System
    Download  www.aladdin.cs.cmu.edu
    Sérgio Vale Aguiar Campos, Edmund M. Clarke...
    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.