Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation

Authors:
Radhia Cousot
Affiliations:
CNRS, Paris, France
Venue:
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
Year:
2005

Citing 0
Cited 2

Integrating static analysis and general-purpose theorem proving for termination analysis

Proceedings of the 28th international conference on Software engineering
Using model checking with symbolic execution to verify parallel numerical programs

Proceedings of the 2006 international symposium on Software testing and analysis

Quantified Score

Hi-index	0.00

Visualization

Abstract