Sciweavers

    8828 search results - page 155 / 1766
    » Formal methods in practice
    Sort
    View
    CAV
    2003
    Springer
    124views Hardware» more  CAV 2003»
    Evidence Explorer: A Tool for Exploring Model-Checking Proofs
    15 years 9 months ago
    Evidence Explorer: A Tool for Exploring Model-Checking Proofs
    Download  www.cs.sunysb.edu
    Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
    claim paper
    Read More »
    CAV
    2003
    Springer
    125views Hardware» more  CAV 2003»
    A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-Refinement
    15 years 9 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 9 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 9 months ago
    Lazy Assertions
    Download  www.cs.kent.ac.uk
    Olaf Chitil, Dan McNeill, Colin Runciman
    claim paper
    Read More »
    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 »
    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.