Sciweavers

1023 search results - page 21 / 205

» A Formal Method for Program Slicing

24

CAV
2005
Springer

114views Hardware» more CAV 2005»

Bounded Model Checking of Concurrent Programs

14 years 2 months ago

Bounded Model Checking of Concurrent Programs

Download www.inf.ethz.ch

Ishai Rabinovitz, Orna Grumberg

claim paper

Read More »

22

SFM
2005
Springer

88views Formal Methods» more SFM 2005»

Mobile Distributed Programming in X-Klaim

14 years 2 months ago

Mobile Distributed Programming in X-Klaim

Download www.sti.uniurb.it

Lorenzo Bettini, Rocco De Nicola

claim paper

Read More »

22

FORMATS
2004
Springer

84views Formal Methods» more FORMATS 2004»

Computing Schedules for Multithreaded Real-Time Programs Using Geometry

14 years 2 months ago

Computing Schedules for Multithreaded Real-Time Programs Using Geometry

Download www-verimag.imag.fr

Philippe Gerner, Thao Dang

claim paper

Read More »

27

IFM
2004
Springer

87views Formal Methods» more IFM 2004»

A Tutorial Introduction to Designs in Unifying Theories of Programming

14 years 2 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 »

28

IFL
2007
Springer

133views Formal Methods» more IFL 2007»

Debugging Lazy Functional Programs by Asking the Oracle

14 years 2 months 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 »