Sciweavers

1023 search results - page 21 / 205

» A Formal Method for Program Slicing

143

Voted

CAV
2005
Springer

114views Hardware» more CAV 2005»

Bounded Model Checking of Concurrent Programs

15 years 12 months ago

Bounded Model Checking of Concurrent Programs

Download www.inf.ethz.ch

Ishai Rabinovitz, Orna Grumberg

claim paper

Read More »

117

SFM
2005
Springer

88views Formal Methods» more SFM 2005»

Mobile Distributed Programming in X-Klaim

15 years 12 months ago

Mobile Distributed Programming in X-Klaim

Download www.sti.uniurb.it

Lorenzo Bettini, Rocco De Nicola

claim paper

Read More »

147

Voted

FORMATS
2004
Springer

84views Formal Methods» more FORMATS 2004»

Computing Schedules for Multithreaded Real-Time Programs Using Geometry

15 years 11 months ago

Computing Schedules for Multithreaded Real-Time Programs Using Geometry

Download www-verimag.imag.fr

Philippe Gerner, Thao Dang

claim paper

Read More »

158

Voted

IFM
2004
Springer

87views Formal Methods» more IFM 2004»

A Tutorial Introduction to Designs in Unifying Theories of Programming

15 years 11 months ago

A Tutorial Introduction to Designs in Unifying Theories of Programming

Download www.cs.york.ac.uk

Jim Woodcock, Ana Cavalcanti

claim paper

Read More »

144

Voted

IFL
2007
Springer

133views Formal Methods» more IFL 2007»

Debugging Lazy Functional Programs by Asking the Oracle

16 years 16 days ago

Debugging Lazy Functional Programs by Asking the Oracle

Download www.informatik.uni-kiel.de

Bernd Braßel, Holger Siegel

claim paper

Read More »

« Prev « First page 21 / 205 Last » Next »