Sciweavers

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

17

ATVA
2010
Springer

favoriteEmaildiscussreport

153views Hardware» more ATVA 2010»

Non-monotonic Refinement of Control Abstraction for Concurrent Programs

13 years 4 months ago

Non-monotonic Refinement of Control Abstraction for Concurrent Programs

Download www.model.in.tum.de

ion for Concurrent Programs Ashutosh Gupta, Corneliu Popeea, and Andrey Rybalchenko Technische Universit

Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenk

Real-time Traffic

Abstraction | Abstraction Refinement | ATVA 2010 | Concurrent Programs | Hardware |

claim paper

Related Content

» Tutorial 1 Abstraction and Refinement of Concurrent Programs and Formal Specification

» ThreadModular Abstraction Refinement

» Joinads A Retargetable ControlFlow Construct for Reactive Parallel and Concurrent Programm...

» Axis Automatically fixing atomicity violations through solving control constraints

» Possibilistic Information Flow Control in MAKS and Action Refinement

» Formal verification of concurrent programs with readwrite locks

» WordLevel PredicateAbstraction and Refinement Techniques for Verifying RTL Verilog

» Local Proofs for LinearTime Properties of Concurrent Programs

» Information Flow Analysis via Path Condition Refinement

Post Info
More Details (n/a)

Added	06 Dec 2010
Updated	06 Dec 2010
Type	Conference
Year	2010
Where	ATVA
Authors	Ashutosh Gupta, Corneliu Popeea, Andrey Rybalchenko

Comments (0)