Fixpoint-Guided Abstraction Refinements

Technical Report PDF: 
Technical Report Number: 
2007.78
TitleFixpoint-Guided Abstraction Refinements
Publication TypeConference Paper
Year of Publication2007
AuthorsCousot, P, Ganty P, Raskin J-F
Conference NameSAS