Search Sciweavers | Sciweavers

1516 search results - page 39 / 304

» Trends in Software Verification

click to vote

CORR
2010
Springer

208views Education» more CORR 2010»

Bounded Model Checking of Multi-threaded Software using SMT solvers

13 years 9 months ago

Download eprints.ecs.soton.ac.uk

The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...

Lucas Cordeiro, Bernd Fischer 0002

claim paper

Read More »

click to vote

ICSE
2008
IEEE-ACM

213views Software Engineering» more ICSE 2008»

Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems

14 years 9 months ago

Download www.ict.swin.edu.au

In grid workflow systems, temporal correctness is critical to assure the timely completion of grid workflow execution. To monitor and control the temporal correctness, fixed-time ...

Jinjun Chen, Yun Yang

claim paper

Read More »

click to vote

FSTTCS
2009
Springer

116views Software Engineering» more FSTTCS 2009»

Verification and Refutation of Probabilistic Specifications via Games

14 years 3 months ago