CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato, Peter Schrammel. CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory. In 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022. ACM, 2022. [doi]

This author has not been identified. It may be one of the following persons:

Bernd Fischer

Look up 'Bernd Fischer 0002' in GoogleThis author has not been identified. Look up 'Salvatore La Torre' in GoogleThis author has not been identified. Look up 'Gennaro Parlato' in GoogleThis author has not been identified. Look up 'Peter Schrammel' in Google

runs on WebDSL