Search Sciweavers | Sciweavers

1023 search results - page 10 / 205

» A Formal Method for Program Slicing

click to vote

PEPM
2004
ACM

131views Software Engineering» more PEPM 2004»

Dynamic slicing based on redex trails

14 years 24 days ago

Download www.dcs.kcl.ac.uk

Tracing computations is a widely used methodology for program debugging. Lazy languages, in particular, pose new demands on tracing techniques since following the actual trace of ...

Claudio Ochoa, Josep Silva, Germán Vidal

claim paper

Read More »

click to vote

IFIP
1994
Springer

83views Programming Languages» more IFIP 1994»

The Theory and Practice of A Formal Method: NewCoRe

13 years 11 months ago

Download spinroot.com

Gerard J. Holzmann

claim paper

Read More »

click to vote

CAV
2009
Springer

209views Hardware» more CAV 2009»

Static and Precise Detection of Concurrency Errors in Systems Code Using SMT Solvers

14 years 8 months ago

Download research.microsoft.com

Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...

Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamari...

claim paper

Read More »

click to vote

SAS
2009
Springer

137views Formal Methods» more SAS 2009»

Invariant Checking for Programs with Procedure Calls

14 years 8 months ago

Download www.csl.sri.com

Guillem Godoy, Ashish Tiwari

claim paper

Read More »