Sciweavers

    4036 search results - page 89 / 808
    » Formal Methods
    Sort
    View
    CAV
    2003
    Springer
    125views Hardware» more  CAV 2003»
    A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement
    15 years 10 months ago
    A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement
    Download  www.cs.technion.ac.il
    Sharon Shoham, Orna Grumberg
    claim paper
    Read More »
    FM
    2003
    Springer
    115views Formal Methods» more  FM 2003»
    SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis
    15 years 10 months ago
    SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis
    Download  www.ai-lab.it
    Alessandro Armando, Luca Compagna, Pierre Ganty
    claim paper
    Read More »
    IFL
    2003
    Springer
    85views Formal Methods» more  IFL 2003»
    Lazy Assertions
    15 years 10 months ago
    Lazy Assertions
    Download  www.cs.kent.ac.uk
    Olaf Chitil, Dan McNeill, Colin Runciman
    claim paper
    Read More »
    98
    Voted
    FMCAD
    2009
    Springer
    87views Formal Methods» more  FMCAD 2009»
    Hardware/software co-verification of cryptographic algorithms using Cryptol
    15 years 9 months ago
    Hardware/software co-verification of cryptographic algorithms using Cryptol
    Download  fmv.jku.at
    Levent Erkök, Magnus Carlsson, Adam Wick
    claim paper
    Read More »
    TFM
    2009
    Springer
    128views Formal Methods» more  TFM 2009»
    How to Explain Mistakes
    15 years 9 months ago
    How to Explain Mistakes
    Download  www3.di.uminho.pt
    Stefan Hallerstede, Michael Leuschel
    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.