Details
Title
Théoduloz, Grégory
Sciper ID
146904
Affiliated labs
MTC
Publications
Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis
Integrating Shape Analysis into the Model Checker BLAST
Lazy Shape Analysis
Lazy Shape Analysis
Program Analysis with Dynamic Precision Adjustment
Shape Refinement through Explicit Heap Analysis
Software Verification by Combining Program Analyses of Adjustable Precision
Integrating Shape Analysis into the Model Checker BLAST
Lazy Shape Analysis
Lazy Shape Analysis
Program Analysis with Dynamic Precision Adjustment
Shape Refinement through Explicit Heap Analysis
Software Verification by Combining Program Analyses of Adjustable Precision
Link to search
All resources
Record appears in
Authorities > People