Search Sciweavers | Sciweavers

673 search results - page 24 / 135

» A Model Checker for AADL

click to vote

ATVA
2006
Springer

83views Hardware» more ATVA 2006»

Towards a Model-Checker for Counter Systems

14 years 1 months ago

Download www.lsv.ens-cachan.fr

Stéphane Demri, Alain Finkel, Valentin Gora...

claim paper

Read More »

click to vote

CAV
2006
Springer

95views Hardware» more CAV 2006»

Yasm: A Software Model-Checker for Verification and Refutation

14 years 1 months ago

Download www.cs.toronto.edu

Example Guided Abstraction Refinement (CEGAR) [6] framework. A number of wellengineered software model-checkers are available, e.g., SLAM [1] and BLAST [12]. Why build another one?...

Arie Gurfinkel, Ou Wei, Marsha Chechik

claim paper

Read More »

click to vote

FM
2006
Springer

116views Formal Methods» more FM 2006»

A Memory Model Sensitive Checker for C#

14 years 1 months ago

Download www.comp.nus.edu.sg

Thuan Quang Huynh, Abhik Roychoudhury

claim paper

Read More »

click to vote

FMICS
2006
Springer

83views Formal Methods» more FMICS 2006»

Goanna - A Static Model Checker

14 years 1 months ago

Download www.cse.unsw.edu.au

Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel ...

claim paper

Read More »

click to vote

SPIN
2000
Springer

112views Theoretical Computer Science» more SPIN 2000»

Bebop: A Symbolic Model Checker for Boolean Programs

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers