Sciweavers

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

9

SAS
2010
Springer

favoriteEmaildiscussreport

152views Formal Methods» more SAS 2010»

Modelling Metamorphism by Abstract Interpretation

13 years 2 months ago

Modelling Metamorphism by Abstract Interpretation

Download www.cs.arizona.edu

Mila Dalla Preda, Roberto Giacobazzi, Saumya K. De

Real-time Traffic

Formal Methods | SAS 2010 |

claim paper

Related Content

» Adaptive Metamorphs Model for 3D Medical Image Segmentation

» Partial model checking via abstract interpretation

» Static Analysis Via Abstract Interpretation of the HappensBefore Memory Model

» A Fast and Precise Static Loop Analysis Based on Abstract Interpretation Program Slicing a...

» Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking

» An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Progra...

» Program Analysis as Model Checking of Abstract Interpretations

» A Fully Abstract Model for GraphInterpreted Temporal Logic

» Model Based Testing and Abstract Interpretation in the Railway Signaling Context

Post Info
More Details (n/a)

Added	30 Jan 2011
Updated	30 Jan 2011
Type	Journal
Year	2010
Where	SAS
Authors	Mila Dalla Preda, Roberto Giacobazzi, Saumya K. Debray, Kevin Coogan, Gregg M. Townsend

Comments (0)