Sciweavers

2 search results - page 1 / 1
» Program analysis for bug detection using parfait: invited ta...
Sort
View
PEPM
2009
ACM
14 years 15 days ago
Program analysis for bug detection using parfait: invited talk
The goal of the Parfait project is to find bugs in C source code in a scalable and precise way. To this end, Parfait was designed as a framework with layers of sound program anal...
Cristina Cifuentes, Nathan Keynes, Lian Li, Bernha...
TFM
2009
Springer
252views Formal Methods» more  TFM 2009»
13 years 10 months ago
Abstraction and Modelling: A Complementary Partnership
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
Jeffrey Kramer