Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pablo Ponzio, Ariel Godio, Nicolás Rosner, Marcelo Arroyo, Nazareno Aguirre, Marcelo F. Frias. Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds. In Esther Guerra, Mariëlle Stoelinga, editors, Fundamental Approaches to Software Engineering - 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings. Volume 12649 of Lecture Notes in Computer Science, pages 218-239, Springer, 2021. [doi]

This author has not been identified. Look up 'Pablo Ponzio' in GoogleThis author has not been identified. Look up 'Ariel Godio' in GoogleThis author has not been identified. Look up 'Nicolás Rosner' in GoogleThis author has not been identified. Look up 'Marcelo Arroyo' in GoogleThis author has not been identified. Look up 'Nazareno Aguirre' in GoogleThis author has not been identified. Look up 'Marcelo F. Frias' in Google

runs on WebDSL