Sciweavers

    4447 search results - page 226 / 890
    » Model Checking Games
    Sort
    View
    STTT
    2008
    83views more  STTT 2008»
    Improving state class constructions for CTL* model checking of time Petri nets
    15 years 2 months ago
    Improving state class constructions for CTL* model checking of time Petri nets
    Download  www.bcs.org
    Rachid Hadjidj, Hanifa Boucheneb
    claim paper
    Read More »
    JAR
    2010
    96views more  JAR 2010»
    Faster and More Complete Extended Static Checking for the Java Modeling Language
    15 years 2 months ago
    Faster and More Complete Extended Static Checking for the Java Modeling Language
    Download  users.encs.concordia.ca
    Perry R. James, Patrice Chalin
    claim paper
    Read More »
    TAICPART
    2010
    IEEE
    137views Education» more  TAICPART 2010»
    Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang
    15 years 2 months ago
    Model-Checking Erlang - A Comparison between EtomCRL2 and McErlang
    Download  www2010.taicpart.org
    Qiang Guo, John Derrick, Clara Benac Earle, Lars-&...
    claim paper
    Read More »
    TC
    2010
    87views Information Technology» more  TC 2010»
    Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement
    15 years 2 months ago
    Modular Model Checking of Large Asynchronous Designs with Efficient Abstraction Refinement
    Download  www.csee.usf.edu
    Hao Zheng, Haiqiong Yao, Tomohiro Yoneda
    claim paper
    Read More »
    CACM
    2010
    70views more  CACM 2010»
    Performance evaluation and model checking join forces
    15 years 2 months ago
    Performance evaluation and model checking join forces
    Download  eprints.eemcs.utwente.nl
    Christel Baier, Boudewijn R. Haverkort, Holger Her...
    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.