Search Sciweavers | Sciweavers

1715 search results - page 38 / 343

» Domain-Specific Program Checking

Voted

ICSE
2009
IEEE-ACM

94views Software Engineering» more ICSE 2009»

Automatic dimension inference and checking for object-oriented programs

16 years 4 months ago

Download suif.stanford.edu

Sudheendra Hangal, Monica S. Lam

claim paper

Read More »

116

click to vote

CAV
2005
Springer

114views Hardware» more CAV 2005»

Bounded Model Checking of Concurrent Programs

15 years 9 months ago

Download www.inf.ethz.ch

Ishai Rabinovitz, Orna Grumberg

claim paper

Read More »

Voted

CSL
2005
Springer

101views Automated Reasoning» more CSL 2005»

Bounded Model Checking of Pointer Programs

15 years 9 months ago

Download www.ii.uni.wroc.pl

Witold Charatonik, Lilia Georgieva, Patrick Maier

claim paper

Read More »

109

click to vote

ERSHOV
2001
Springer

59views Theoretical Computer Science» more ERSHOV 2001»

On Expressive and Model Checking Power of Propositional Program Logics

15 years 8 months ago

Download www.iis.nsk.su

Nikolay V. Shilov, Kwang Yi

claim paper

Read More »

108

click to vote

TACAS
2001
Springer

96views Algorithms» more TACAS 2001»

Boolean and Cartesian Abstraction for Model Checking C Programs

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers