Search Sciweavers | Sciweavers

3224 search results - page 88 / 645

» On Checking Model Checkers

106

click to vote

SAC
2005
ACM

94views Applied Computing» more SAC 2005»

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

15 years 8 months ago

Download www.cs.utep.edu

Zubin Balsara, Steve Roach

claim paper

Read More »

125

click to vote

CAV
2005
Springer

120views Hardware» more CAV 2005»

Ymer: A Statistical Model Checker

15 years 8 months ago

Download www.tempastic.org

Håkan L. S. Younes

claim paper

Read More »

Voted

ATVA
2004
Springer

106views Hardware» more ATVA 2004»

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

15 years 8 months ago

Download www.lsv.ens-cachan.fr

Serge Haddad, Jean-Michel Ilié, Kais Klai

claim paper

Read More »

Voted

CAV
2004
Springer

97views Hardware» more CAV 2004»

Zing: A Model Checker for Concurrent Software

15 years 8 months 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

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers