Sciweavers

    1376 search results - page 79 / 276
    » Model-Driven Software Verification
    Sort
    View
    ICSE
    1992
    IEEE-ACM
    102views Software Engineering» more  ICSE 1992»
    A Toolbox for the Verification of LOTOS Programs
    15 years 10 months ago
    A Toolbox for the Verification of LOTOS Programs
    Download  ftp.inrialpes.fr
    This paper presents the tools Ald
    Jean-Claude Fernandez, Hubert Garavel, Laurent Mou...
    claim paper
    Read More »
    ATAL
    2006
    Springer
    158views Intelligent Agents» more  ATAL 2006»
    Automated analysis and verification of agent behavior
    15 years 10 months ago
    Automated analysis and verification of agent behavior
    Download  www.cs.vu.nl
    Comprehending and analyzing agent behavior is an arduous task due to complexities in agent systems and sophistication of agent behaviors, in addition to the common difficulties wi...
    Tibor Bosse, Dung N. Lam, K. Suzanne Barber
    claim paper
    Read More »
    AMAST
    2006
    Springer
    124views Software Engineering» more  AMAST 2006»
    Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues
    15 years 10 months ago
    Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues
    Download  pop-art.inrialpes.fr
    Interpretation of FIFO Queues Tristan Le Gall, Bertrand Jeannet, and Thierry J
    Tristan Le Gall, Bertrand Jeannet, Thierry J&eacut...
    claim paper
    Read More »
    CBSE
    2007
    Springer
    72views Software Engineering» more  CBSE 2007»
    A Framework for Contract-Based Collaborative Verification and Validation of Web Services
    16 years 11 days ago
    A Framework for Contract-Based Collaborative Verification and Validation of Web Services
    Download  goanna.cs.rmit.edu.au
    Xiaoying Bai, Yongbo Wang, Guilan Dai, Wei-Tek Tsa...
    claim paper
    Read More »
    SEW
    2006
    IEEE
    108views Software Engineering» more  SEW 2006»
    An Eclipse Plug-in for the Java PathFinder Runtime Verification System
    16 years 5 days ago
    An Eclipse Plug-in for the Java PathFinder Runtime Verification System
    Download  essere.disco.unimib.it
    Francesca Arcelli Fontana, Claudia Raibulet, Ivano...
    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.