Sciweavers

    4962 search results - page 258 / 993
    » Stochastic Model Checking
    Sort
    View
    125
    Voted
    FAC
    2008
    67views more  FAC 2008»
    Specification, proof, and model checking of the Mondex electronic purse using RAISE
    15 years 2 months ago
    Specification, proof, and model checking of the Mondex electronic purse using RAISE
    Download  www.vdmportal.org
    This paper describes how the communication protocol of Mondex electronic purses can be specified and verified against desired security properties. The specification is developed by...
    Chris George, Anne Elisabeth Haxthausen
    claim paper
    Read More »
    44
    Voted
    CORR
    2006
    Springer
    80views Education» more  CORR 2006»
    Dichotomies and Duality in First-order Model Checking Problems
    15 years 2 months ago
    Dichotomies and Duality in First-order Model Checking Problems
    Download  www.irisa.fr
    Barnaby Martin
    claim paper
    Read More »
    131
    Voted
    CSL
    2006
    Springer
    100views Automated Reasoning» more  CSL 2006»
    Infinite State Model-Checking of Propositional Dynamic Logics
    15 years 2 months ago
    Infinite State Model-Checking of Propositional Dynamic Logics
    Download  www.informatik.uni-leipzig.de
    Model-checking problems for PDL (propositional dynamic logic) and its extension PDL (which includes the intersection operator on programs) over various classes of infinite state sy...
    Stefan Göller, Markus Lohrey
    claim paper
    Read More »
    20
    Voted
    IFE
    2008
    31views more  IFE 2008»
    An industrial application of symbolic model checking
    15 years 2 months ago
    An industrial application of symbolic model checking
    Download  preibusch.de
    Florian Kammüller, Sören Preibusch
    claim paper
    Read More »
    64
    Voted
    ENTCS
    2006
    122views more  ENTCS 2006»
    Algorithmic Algebraic Model Checking III: Approximate Methods
    15 years 2 months ago
    Algorithmic Algebraic Model Checking III: Approximate Methods
    Download  cs.nyu.edu
    Venkatesh Mysore, Bud Mishra
    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.