Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

9

ECOOP
2010
Springer

favoriteEmaildiscussreport

150views Programming Languages» more ECOOP 2010»

Concurrent Abstract Predicates

13 years 9 months ago

Concurrent Abstract Predicates

Download www.cl.cam.ac.uk

Thomas Dinsdale-Young, Mike Dodds, Philippa Gardne

Real-time Traffic

ECOOP 2010 | Programming Languages |

claim paper

Related Content

» WordLevel PredicateAbstraction and Refinement Techniques for Verifying RTL Verilog

» Model checking concurrent linux device drivers

» ModelChecking Parameterized Concurrent Programs Using Linear Interfaces

» SLAB A Certifying Model Checker for InfiniteState Concurrent Systems

» Specification transformers a predicate transformer approach to composition

» Making Predicate Abstraction Efficient How to Eliminate Redundant Predicates

» A Novel Test Coverage Metric for ConcurrentlyAccessed Software Components

» Best Probabilistic Transformers

» Complexity of Data Dependence problems for Program Schemas with Concurrency

Post Info
More Details (n/a)

Added	19 Jul 2010
Updated	19 Jul 2010
Type	Conference
Year	2010
Where	ECOOP
Authors	Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Matthew J. Parkinson, Viktor Vafeiadis

Comments (0)