Search Sciweavers | Sciweavers

650 search results - page 17 / 130

» The SpinJa Model Checker

click to vote

SAC
2005
ACM

94views Applied Computing» more SAC 2005»

Prediction of inherited and genetic mutations using the software model checker SPIN

14 years 1 months ago

Download www.cs.utep.edu

Zubin Balsara, Steve Roach

claim paper

Read More »

click to vote

CAV
2005
Springer

120views Hardware» more CAV 2005»

Ymer: A Statistical Model Checker

14 years 1 months ago

Download www.tempastic.org

Håkan L. S. Younes

claim paper

Read More »

click to vote

ATVA
2004
Springer

106views Hardware» more ATVA 2004»

Design and Evaluation of a Symbolic and Abstraction-Based Model Checker

14 years 27 days ago

Download www.lsv.ens-cachan.fr

Serge Haddad, Jean-Michel Ilié, Kais Klai

claim paper

Read More »

click to vote

CAV
2004
Springer

97views Hardware» more CAV 2004»

Zing: A Model Checker for Concurrent Software

14 years 27 days ago

Download research.microsoft.com

Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jak...

claim paper

Read More »

click to vote

ISOLA
2004
Springer

84views Formal Methods» more ISOLA 2004»

Model Checker Aided Design of a Controller for a Wafer Scanner

14 years 26 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers