Search Sciweavers | Sciweavers

1199 search results - page 8 / 240

» Software Verification and Software Engineering a Practitione...

130

click to vote

SEFM
2007
IEEE

146views Software Engineering» more SEFM 2007»

A Scalable Lock-Free Stack Algorithm and its Verification

15 years 10 months ago

Download www.cs.bgu.ac.il

Robert Colvin, Lindsay Groves

claim paper

Read More »

119

click to vote

TASE
2007
IEEE

92views Software Engineering» more TASE 2007»

Streaming State Space: A Method of Distributed Model Verification

15 years 10 months ago

Download d3s.mff.cuni.cz

Viliam Holub, Petr Tuma

claim paper

Read More »

107

click to vote

CISSE
2007
Springer

104views Software Engineering» more CISSE 2007»

A Fingerprint Method for Scientific Data Verification

15 years 10 months ago

Download maltman.hmdc.harvard.edu

Micah Altman

claim paper

Read More »

117

click to vote

VMCAI
2007
Springer

107views Software Engineering» more VMCAI 2007»

Language-Based Abstraction Refinement for Hybrid System Verification

15 years 10 months ago

Download www.inf.ethz.ch

Felix Klaedtke, Stefan Ratschan, Zhikun She

claim paper

Read More »

Voted

VSTTE
2005
Springer

68views Software Engineering» more VSTTE 2005»

The Importance of Non-theorems and Counterexamples in Program Verification

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers