Search Sciweavers | Sciweavers

10870 search results - page 241 / 2174

» Model Checking Programs

click to vote

FM
2009
Springer

90views Formal Methods» more FM 2009»

Fair Model Checking with Process Counter Abstraction

15 years 8 months ago

Download www.comp.nus.edu.sg

Jun Sun 0001, Yang Liu 0003, Abhik Roychoudhury, S...

claim paper

Read More »

click to vote

FMCAD
2009
Springer

142views Formal Methods» more FMCAD 2009»

Interpolation-sequence based model checking

15 years 8 months ago

Download www.cs.technion.ac.il

Yakir Vizel, Orna Grumberg

claim paper

Read More »

click to vote

ICFEM
2009
Springer

94views Software Engineering» more ICFEM 2009»

RAFFS: Model Checking a Robust Abstract Flash File Store

15 years 8 months ago

Download swerl.tudelft.nl

Flash File Store Paul Taverne and C. (Kees) Pronk Report TUD-SERG-2009-033 SERG

Paul Taverne, Cornelis Pronk

claim paper

Read More »

click to vote

SPIN
2009
Springer

86views Theoretical Computer Science» more SPIN 2009»

Experience with Model Checking Linearizability

15 years 8 months ago

Download domino.research.ibm.com

Martin T. Vechev, Eran Yahav, Greta Yorsh

claim paper

Read More »

103

click to vote

SPIN
2009
Springer

99views Theoretical Computer Science» more SPIN 2009»

EMMA: Explicit Model Checking Manager (Tool Presentation)

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers