Sciweavers

    1376 search results - page 54 / 276
    » Model-Driven Software Verification
    Sort
    View
    RTSE
    1997
    107views Software Engineering» more  RTSE 1997»
    Abstraction and Modular Verification of Infinite-State Reactive Systems
    15 years 9 months ago
    Abstraction and Modular Verification of Infinite-State Reactive Systems
    Download  react.cs.uni-sb.de
    Zohar Manna, Michael Colón, Bernd Finkbeine...
    claim paper
    Read More »
    AC
    2002
    Springer
    94views Software Engineering» more  AC 2002»
    Timed Verification of Asynchronous Circuits
    15 years 5 months ago
    Timed Verification of Asynchronous Circuits
    Download  www.configit.com
    Jesper B. Møller, Henrik Hulgaard, Henrik R...
    claim paper
    Read More »
    IFM
    2010
    Springer
    205views Formal Methods» more  IFM 2010»
    Adding Change Impact Analysis to the Formal Verification of C Programs
    15 years 3 months ago
    Adding Change Impact Analysis to the Formal Verification of C Programs
    Download  www.informatik.uni-bremen.de
    Handling changes to programs and specifications efficiently is a particular challenge in formal software verification. Change impact analysis is an approach to this challenge where...
    Serge Autexier, Christoph Lüth
    claim paper
    Read More »
    KBSE
    2010
    IEEE
    121views Software Engineering» more  KBSE 2010»
    Realizing architecture frameworks through megamodelling techniques
    15 years 4 months ago
    Realizing architecture frameworks through megamodelling techniques
    Download  www.iso-architecture.org
    Most practising software architects operate within an architecture framework which is a coordinated set of viewpoints, models and notations prescribed for them. Whereas architectu...
    Rich Hilliard, Ivano Malavolta, Henry Muccini, Pat...
    claim paper
    Read More »
    POPL
    2010
    ACM
    303views Programming Languages» more  POPL 2010»
    Higher-Order Multi-Parameter Tree Transducers and Recursion Schemes for Program Verification
    16 years 3 months ago
    Higher-Order Multi-Parameter Tree Transducers and Recursion Schemes for Program Verification
    Download  www.kb.ecei.tohoku.ac.jp
    We introduce higher-order, multi-parameter, tree transducers (HMTTs, for short), which are kinds of higher-order tree transducers that take input trees and output a (possibly infi...
    Naoki Kobayashi, Naoshi Tabuchi, Hiroshi Unno
    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.