Search Sciweavers | Sciweavers

714 search results - page 23 / 143

» Certifying Model Checkers

click to vote

GI
2007
Springer

111views Theoretical Computer Science» more GI 2007»

Creating Test-Cases Incrementally with Model-Checkers

14 years 15 days ago

Download www.soft-net.at

: Test-case generation with model-checkers is a promising field of research in software testing. Model-checker based approaches offer many advantages: They are fully automated, the...

Gordon Fraser, Franz Wotawa

claim paper

Read More »

click to vote

ATVA
2006
Springer

83views Hardware» more ATVA 2006»

Towards a Model-Checker for Counter Systems

14 years 11 days 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 11 days 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 8 days ago