Sciweavers

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

13

VMCAI
2010
Springer

favoriteEmaildiscussreport

160views Software Engineering» more VMCAI 2010»

RGSep Action Inference

14 years 1 months ago

RGSep Action Inference

Download www.cl.cam.ac.uk

We present an automatic verification procedure based on RGSep that is suitable for reasoning about fine-grained concurrent heapmanipulating programs. The procedure computes a set of RGSep actions overapproximating the interference that each thread causes to its concurrent environment. These inferred actions allow us to verify safety, liveness, and functional correctness properties of a collection of practical concurrent algorithms from the literature.

Viktor Vafeiadis

Real-time Traffic

Automatic Verification Procedure | Fine-grained Concurrent Heapmanipulating | Practical Concurrent Algorithms | Software Engineering | VMCAI 2010 |

claim paper

Related Content

» Walk the Talk Connecting Language Knowledge and Action in Route Instructions

» A method to infer emotions from facial Action Units

» Action understanding and active inference

» Simultaneous inference of activity pose and object

» Identifying the What Why and How of an Observed Action An fMRI Study of Mentalizing and Me...

» A flow model for joint action recognition and identity maintenance

» Parsing Video Events with Goal inference and Intent Prediction

» Conversation as Action Under Uncertainty

» Abductive Inference in Probabilistic Logic Programs

Post Info
More Details (n/a)

Added	05 Mar 2010
Updated	08 Mar 2010
Type	Conference
Year	2010
Where	VMCAI
Authors	Viktor Vafeiadis

Comments (0)