Search Sciweavers | Sciweavers

1860 search results - page 6 / 372

» tools 2009

click to vote

SPIN
2009
Springer

99views Theoretical Computer Science» more SPIN 2009»

EMMA: Explicit Model Checking Manager (Tool Presentation)

14 years 4 months ago

Download www.fi.muni.cz

Radek Pelánek, Václav Rosecký

claim paper

Read More »

click to vote

ACMSE
2009
ACM

130views Theoretical Computer Science» more ACMSE 2009»

Model-based software design tools for the cell processor

14 years 4 months ago

Download etd.library.vanderbilt.edu

Nicholas Lowell

claim paper

Read More »

click to vote

ISSTA
2009
ACM

119views Software Engineering» more ISSTA 2009»

Clash of the Titans: tools and techniques for hunting bugs in concurrent programs

14 years 4 months ago

Download vv.cs.byu.edu

Neha Rungta, Eric G. Mercer

claim paper

Read More »

click to vote

CALCO
2009
Springer

132views Mathematics» more CALCO 2009»

The Priced-Timed Maude Tool

14 years 2 months ago

Download calco09.dimi.uniud.it

Leon Bendiksen, Peter Csaba Ölveczky

claim paper

Read More »

click to vote

IFIP
2009
Springer

92views Programming Languages» more IFIP 2009»

Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers