Search Sciweavers | Sciweavers

31387 search results - page 155 / 6278

» Abstracting abstract machines

123

click to vote

FM
2009
Springer

90views Formal Methods» more FM 2009»

Fair Model Checking with Process Counter Abstraction

16 years 1 months ago

Download www.comp.nus.edu.sg

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

claim paper

Read More »

154

click to vote

FMICS
2009
Springer

104views Formal Methods» more FMICS 2009»

Preemption Abstraction

16 years 1 months ago

Download www.cs.ru.nl

Erik Schierboom, Alejandro Tamalet, Hendrik Tews, ...

claim paper

Read More »

139

click to vote

FMN
2009
Springer

82views Multimedia» more FMN 2009»

OASIS: An Overlay Abstraction for Re-architecting Large Scale Internet Group Services

16 years 1 months ago

Download page.mi.fu-berlin.de

Matthias Wählisch, Thomas C. Schmidt, Georg W...

claim paper

Read More »

149

click to vote

ICFEM
2009
Springer

94views Software Engineering» more ICFEM 2009»

RAFFS: Model Checking a Robust Abstract Flash File Store

16 years 1 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 »

120

click to vote

ICFEM
2009
Springer

80views Software Engineering» more ICFEM 2009»

Verifying Stateful Timed CSP Using Implicit Clocks and Zone Abstraction

16 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers