Sciweavers

    2896 search results - page 140 / 580
    » Curricula Modeling and Checking
    Sort
    View
    CADE
    2007
    Springer
    154views Logical Reasoning» more  CADE 2007»
    The Bedwyr System for Model Checking over Syntactic Expressions
    16 years 4 months ago
    The Bedwyr System for Model Checking over Syntactic Expressions
    Download  users.rsise.anu.edu.au
    David Baelde, Andrew Gacek, Dale Miller, Gopalan N...
    claim paper
    Read More »
    VMCAI
    2010
    Springer
    158views Software Engineering» more  VMCAI 2010»
    Model-Checking In-Lined Reference Monitors
    16 years 1 months ago
    Model-Checking In-Lined Reference Monitors
    Download  www.utdallas.edu
    Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...
    Meera Sridhar, Kevin W. Hamlen
    claim paper
    Read More »
    ICCAD
    2006
    IEEE
    111views Hardware» more  ICCAD 2006»
    Accelerating high-level bounded model checking
    16 years 1 months ago
    Accelerating high-level bounded model checking
    Download  www.nec-labs.com
    Malay K. Ganai, Aarti Gupta
    claim paper
    Read More »
    FOSSACS
    2010
    Springer
    165views Software Engineering» more  FOSSACS 2010»
    Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems
    15 years 11 months ago
    Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems
    Download  homepages.inf.ed.ac.uk
    Anthony Widjaja To, Leonid Libkin
    claim paper
    Read More »
    FOSSACS
    2010
    Springer
    139views Software Engineering» more  FOSSACS 2010»
    When Model-Checking Freeze LTL over Counter Machines Becomes Decidable
    15 years 11 months ago
    When Model-Checking Freeze LTL over Counter Machines Becomes Decidable
    Download  www.lsv.ens-cachan.fr
    Stéphane Demri, Arnaud Sangnier
    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.