Search Sciweavers | Sciweavers

714 search results - page 24 / 143

» Certifying Model Checkers

click to vote

SPIN
2000
Springer

112views Theoretical Computer Science» more SPIN 2000»

Bebop: A Symbolic Model Checker for Boolean Programs

14 years 6 days ago

Download spinroot.com

Thomas Ball, Sriram K. Rajamani

claim paper

Read More »

click to vote

ATVA
2008
Springer

127views Hardware» more ATVA 2008»

DiVinE Multi-Core - A Parallel LTL Model-Checker

13 years 10 months ago

Download anna.fi.muni.cz

We present a tool for parallel shared-memory enumerative LTL model-checking and reachability analysis. The tool is based on distributed-memory algorithms reimplemented specifically...

Jiri Barnat, Lubos Brim, Petr Rockai

claim paper

Read More »

click to vote

CAV
2008
Springer

78views Hardware» more CAV 2008»

QMC: A Model Checker for Quantum Systems

13 years 10 months ago

Download www.dcs.gla.ac.uk

Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papani...

claim paper

Read More »

click to vote

ATVA
2008
Springer

86views Hardware» more ATVA 2008»

NetQi: A Model Checker for Anticipation Game

13 years 10 months ago

Download www.lsv.ens-cachan.fr

Abstract. NetQi is a freely available model-checker designed to analyze network incidents such as intrusion. This tool is an implementation of the anticipation game framework, a va...

Elie Bursztein

claim paper

Read More »

click to vote

ENTCS
2006

100views more ENTCS 2006»

Quantitative Analysis With the Probabilistic Model Checker PRISM

13 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers