Sciweavers

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

8

IJCM
2011

favoriteEmaildiscussreport

53views more IJCM 2011»

An abstract interpretation-based model for safety semantics

14 years 4 months ago

An abstract interpretation-based model for safety semantics

Download profs.scienze.univr.it

Isabella Mastroeni, Roberto Giacobazzi

Real-time Traffic

IJCM 2011 |

claim paper

Related Content

» A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs

» Extending C for Checking Shape Safety

» Using Deductive CauseConsequence Analysis DCCA with SCADE

» A combination framework for tracking partition sizes

» Static program transformations for efficient software model checking

» NVHeaps making persistent objects fast and safe with nextgeneration nonvolatile memories

» Model checking Duration Calculus a practical approach

» Formal Methods for Systems Engineering Behavior Models

» JNI Light An Operational Model for the Core JNI

Post Info
More Details (n/a)

Added	14 May 2011
Updated	14 May 2011
Type	Journal
Year	2011
Where	IJCM
Authors	Isabella Mastroeni, Roberto Giacobazzi

Comments (0)